Formally verified TSM centric privacy preserving NFC mobile payment framework and protocol Online publication date: Wed, 03-Aug-2016
by Kavitha Ammayappan
International Journal of Information and Computer Security (IJICS), Vol. 8, No. 2, 2016
Abstract: Near field communication is on the verge of broad adoption worldwide. The combination of NFC and smart mobile devices are making the way of life more easier for millennials. Sensitive consumer information can be predicted using data aggregation and predictive data mining approaches on any profit-oriented open e-commerce business models which may potentially cause a privacy breach. In mobile payment, which is a popular e-commerce sub domain application, consumers' sensitive information potentially sits on retailers' server over which consumer has no control but hackers can exploit. This paper presents a new TSM centric privacy preserving framework and a protocol for NFC-based proximity payments. It prevents consumer data from ever touching a merchant's server where the majority of data breaches occur. The correctness of proposed privacy preserving NFC payment protocol is ensured here via formal modelling and verification using Proverif.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Information and Computer Security (IJICS):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com
Our Blog 
Follow us on Twitter 
Visit us on Facebook