Formal analysis of card-based payment systems in mobile devices

Pasupathinathan, Vijayakrishnan, Pieprzyk, Josef, Wang, Huaxiong, & Cho, Joo Yeon (2006) Formal analysis of card-based payment systems in mobile devices. In ACSW Frontiers 2006 : Proceedings of the Fourth Australasian Symposium on Grid Computing and e-Research (AusGrid 2006) and the Fourth Australasian Information Security Workshop (Network Security) (AISW 2006), Australian Computer Society published in association with the ACM Digital LIbrary, Hobart, Tasmania, Australia, pp. 213-220.

View at publisher


To provide card holder authentication while they are conducting an electronic transaction using mobile devices, VISA and MasterCard independently proposed two electronic payment protocols: Visa 3D Secure and MasterCard Secure Code. The protocols use pre-registered passwords to provide card holder authentication and Secure Socket Layer/ Transport Layer Security (SSL/TLS) for data confidentiality over wired networks and Wireless Transport Layer Security (WTLS) between a wireless device and a Wireless Application Protocol (WAP) gateway. The paper presents our analysis of security properties in the proposed protocols using formal method tools: Casper and FDR2. We also highlight issues concerning payment security in the proposed protocols.

Impact and interest:

4 citations in Scopus
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 73361
Item Type: Conference Paper
Refereed: Yes
Additional URLs:
ISBN: 1920682368
Divisions: Current > Schools > School of Electrical Engineering & Computer Science
Current > QUT Faculties and Divisions > Science & Engineering Faculty
Deposited On: 08 Jul 2014 02:22
Last Modified: 15 Jul 2014 04:00

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page