Accountability logic for mobile payment protocols

International Conference on Information Technology: Coding Computing, ITCC

Volumn 1, Issue , 2004, Pages 40-44

  Kungpisdan, Supakorn ^a   Srinivasan, Bala ^a   Le, Phu Dung ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

Accountability; Electronic commerce; Formal method; Mobile payment protocol; Protocol verification

Indexed keywords

ACCOUNTABILITY; FORMAL METHOD; MOBILE PAYMENT PROTOCOLS; PROTOCOL VERIFICATION;

CLIENT SERVER COMPUTER SYSTEMS; CRYPTOGRAPHY; ELECTRONIC COMMERCE; FORMAL LOGIC; MATHEMATICAL OPERATORS; MOBILE COMPUTING; MODAL ANALYSIS; SECURITY OF DATA;

ADMINISTRATIVE DATA PROCESSING;

EID: 3042641426     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITCC.2004.1286423     Document Type: Conference Paper

References (8)

1. M. Bellare, J. A. Garay, R. Hauser, A. Herzberg, H. Krawczyk, M. Steiner, G. Tsudik, E. V. Herreweghen, and M. Waidner, Design, Implementation, and Deployment of the /KP Secure Electronic Payment System, IEEE Journal of Selected Areas in Communications, 2000.
2. S. Cimato, Design of an Authentication Protocol for GSM Javacards, LNCS Vol. 2288, 2002, pp. 355-368.
3. E. V. Herreweghen, Non-Repudiation in SET: Open Issues, LNCS Vol. 1962, 2001, pp. 140-156.
4. R. Kailar, Accountability in Electronic Commerce Protocols, IEEE Transactions on Software Engineering 22(5), 1996.
5. V. Kessler and H. Neumann, A Sound Logic for Analyzing Electronic Commerce Protocols. Proc. ESORICS'98, pp. 345-360.
6. S. Kungpisdan and Y. Permpoontanalarp, Practical Reasoning about Accountability in Electronic Commerce Protocols, LNCS Vol. 2288, 2002, pp. 268-284.
7. S. Kungpisdan, B. Srinivasan, and P. D. Le, A Secure Account-based Mobile Payment Protocol, To appear in ITCC'2004, Las Vegas, 2004.
8. Mastercard and Visa, SET Protocol Specifications, 1997. http://www.setco.org/set_specifications.html