Security Analysis and Verification of Authenticated Mobile Payment Protocols
Bhawna Narwal · 2019
M-Commerce is a global phenomenon and is truly in the swing as most of the purchases are through mobile devices. By seeing the frequency of purchases we can say that people are becoming habitual of it and has gained a stronghold in their lives. As security and privacy are the major concern of the users it is evident to use a reliable, secure and authenticated mobile payment protocol. In this paper, some open network (ECash and NetCash) and mobile payment protocols (SET, iKP, MSET, MPCP2, SLMPP, and LPMP) are studied. These protocols were written in HLPSL language according to the documentation specified in the AVISPA tool and were validated and analyzed. The obtained results are compared based on security attacks and cryptographic operations required and the research validates that LPMP protocol is the fastest among all in terms of search time and is immune to various security attacks.