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 81
- Downloads 0
Determinants and Inverses of Symmetric Poeplitz and Qoeplitz Matrix
In this paper, we define symmetric Poeplitz and Qoeplitz matrices and give explicit formulae for the determinants and inverses of these matrices by constructing the transformation matrices.
Experimental Study on Class Imbalance Problem Using an Oil Spill Training Data Set
There is a paucity of research on one of the key issues in oil spill detection: the imbalanced training set learning problem. This paper performs experiments to show the influence of the imbalanced learning problem (ILP)...
mcga: R Implementation of the Machine-coded Genetic Algorithms
Genetic Algorithms (GAs) are global optimization and search algorithms that mimic the natural selection and genetic processes. Floating-point GAs (FPGAs) are other type of GAs which directly operate on real-vectors witho...
Predictive Estimator for Simple Regression
The predictive estimator of the gradient in simple regression is assumed to be the product of the gradient given by least-squares fitting and a constant (ρ). The results of numerical simulations show that when generalize...
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...