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 92
- Downloads 0
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...
On Properties Related To *–Reversible Rings
In this paper, a class of *-rings which is a generalization of *–reversible rings is introduced. A ring with involution * is called central *–reversible if for a ,b∈R, whenever ab=0 ,b^* a is central in R. Since every *–...
Finite Time Blow-up, Extinction and Non-extinction of Solutions for an Evolutionary Problem
In this paper we consider a class of p-biharmonic parabolic equation with nonlocal nonlinearities and Neumann boundary condition. By constructing suitable auxiliary functions and using differential inequalities, we give...
Solving Multi-level Multi-objective Fractional Programming Problem with Rough Intervals in the Objective Functions
In this paper multi-level multi-objective fractional programming problem (ML-MOFP) is considered where some or all of its coefficients in the objective function are rough intervals. At the first phase of the solution app...
Solution of Wind Speed Equation of Circulation Cyclone and Its Application
The wind speed equation of circular cyclone is a set of non-linear partial differential equations (PDE) with 4 unknown functions u (wind speed), ρ (density), p (pressure) and T (temperature) and is separated to 14 unknow...