Secure Mobile Payment on NFC-Enabled Mobile Phones Formally Analysed Using CasperFDR

Research output: Chapter in Book/Report/Conference proceedingConference contribution

334 Downloads (Pure)


Near Field Communication (NFC) mobile phones
can be used as payment devices and can emulate credit cards.
Although NFC mobile services promise a fruitful future, several
issues have been raised by academics and researchers. Among
the main concerns for the use and deployment of NFC-enabled
mobile phones is the potential loss of security and privacy. More
specifically, mobile phone users involved in a payment transaction
conducted over a mobile handset require that such a system
does not reveal their identity or any sensitive data. Furthermore,
that all entities participating in the transaction are legitimate.
To this end, we proposed a protocol that meets the mobile user’s
requirements. The proposed protocol attempts to address the
main security concerns and protects the customer privacy from
any third party involved in the transaction. We formally analysed
the protocol using CasperFDR and did not find any feasible
Original languageEnglish
Title of host publicationThe 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14)
PublisherIEEE Computer Society
Publication statusPublished - 26 Sept 2014

Cite this