Abstract

Mobile contactless payment (MCP) is the future technology that is used for mobile payments, mobile wallet, transportation, and for mobile coupons. Existing solutions in this realm do not ensure end-to-end communication, information privacy, and the client’s anonymity. In order to overcome these flaws, we propose a secure and privacy preserving mobile commerce (SPPMC) framework for near-field communication (NFC) based proximity payments. SPPMC framework achieves both communication and information privacy. It ensures the client’s anonymity by making use of traceable anonymous certificates (TAC). Grid of secure elements (GSE) is used at the banking servers. The cost of computation and communication is very less. SPPMC ensures end-to-end security and withstands any type of known attack including multi-protocol attack. SPPMC is successfully verified using Burrows–Abadi–Needham (BAN) logic and Scyther tool. It ensures all the security properties.

Details

Title
Trusted service manager (TSM) based privacy preserving and secure mobile commerce framework with formal verification
Author
Shaik, Shakeel Ahamad 1 ; Al-Sakib Khan Pathan 2   VIAFID ORCID Logo 

1  Department of Information Technology, College of Computer and Information Sciences, Majmaah University, Al Majmaah, Kingdom of Saudi Arabia 
2  Department of Computer Science and Engineering, Southeast University, Dhaka, Bangladesh 
Pages
1-18
Publication year
2019
Publication date
Aug 2019
Publisher
Springer Nature B.V.
e-ISSN
21943206
Source type
Scholarly Journal
Language of publication
English
DOI
https://doi.org/10.1186/s40294-019-0064-z
ProQuest document ID
2269862819
Copyright
Complex Adaptive Systems Modeling is a copyright of Springer, (2019). All Rights Reserved., © 2019. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.