Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | ACSW Frontiers 2006 - Proc. of the Fourth Australasian Symposium on Grid Computing and e-Research, AusGrid 2006 and the Fourth Australasian Information Security Workshop (Network Security), AISW 2006 |
| Editors | Rajkumar Buyya, Tianchi Ma, Reihaneh Safavi-Naini, Chris Steketee, Willy Susilo |
| Place of Publication | Sydney, Australia |
| Publisher | Australian Computer Society |
| Pages | 213-220 |
| Number of pages | 8 |
| Volume | 54 |
| ISBN (Print) | 1920682368, 9781920682361 |
| Publication status | Published - 2006 |
| Event | 4th Australasian Symposium on Grid Computing and e-Research, AusGrid 2006 and 4th Australasian Information Security Workshop (Network Security), AISW 2006 - Hobart, TAS, Australia Duration: 16 Jan 2006 → 19 Jan 2006 |
Other
| Other | 4th Australasian Symposium on Grid Computing and e-Research, AusGrid 2006 and 4th Australasian Information Security Workshop (Network Security), AISW 2006 |
|---|---|
| Country/Territory | Australia |
| City | Hobart, TAS |
| Period | 16/01/06 → 19/01/06 |