Formal Analysis of MCAP Protocol Against Replay Attack
Journal Title: Journal of Advances in Mathematics and Computer Science - Year 2017, Vol 22, Issue 1
Abstract
Replay attack is considered a common attacking technique that is used by adversaries to gain access to confidential information. Several approaches have been proposed to prevent replay attack in security-critical systems such as Automated Teller Machines (ATM) systems. Among those approaches is a recent one called the Mutual Chain Authentication Protocol for the Saudi Payments Network transactions (MCAP). This protocol aims to allow Saudi banking systems to overcome existing weaknesses in the currently used Two-Factor Authentication (2FA) protocols. In this paper, we analyze and verify the recent MCAP authentication protocol against replay attacks. Therefore, we examine the mutual authentication between the ATM Terminal, Sponsoring Banks (SBAT), Saudi Payments Network (SPAN) and the Issuing of Financial Bank (CIFI). The paper also provides a formal analysis of the MCAP to conduct formal proofs of the MCAP protocols against replay attacks.
Authors and Affiliations
Shadi Nashwan, Bandar M. Alshammari
Keywords
Related Articles
- EP ID EP322607
- DOI 10.9734/BJMCS/2017/32744
- Views 95
- Downloads 0
Peristaltic Pumping and Dispersion of a MHD Couple Stress Fluid with Chemical Reaction and Wall Effects
The dispersion of a solute matter in the magneto-hydrodynamic peristaltic pumping of an incompressible couple stress uid with wall effects has been studied. The mean effective coefficient of dispersion on simultaneous h...
Log Prediction of Wireless Telecommunication Systems Based on a Sequence-To-Sequence Model
Nowadays people are becoming increasingly dependent on wireless networks. Taking precautions and acting in advance to avoid problems of wireless networks have already shown great importance. In analyzing problems of wire...
Corrigendum: Covering of Line Graph of Zero Divisor Graph over Ring Zn
De nition 1.2 Independent set: An independent set in a graph is a subset of vertex set
The Mathematical Proof for the Beal Conjecture
The Beal conjecture is a number theory formulated in 1993 by the billionaire banker, Mr Andrew Beal. Mr Beal, very recently, declared a one-million-dollar award for the proof of this number theory. As at present, no proo...
Solving the System of Two Nonlinear Voltera Intehral Equations of the Second Kind Using the Trapezoidal Predictor – Corrector Method
In this paper, we consider the system of two nonlinear Volterra integral equations of the second kind (SNLVIE-2). We proposed method of Trapezoidal Predictor-Corrector (TRP-PCR) to solve SNLVIE-2. In addition, new algori...