Title :
Accountability logic for mobile payment protocols
Author :
Kungpisdan, Supakorn ; Srinivasan, Bala ; Le, Phu Dung
Author_Institution :
Sch. of Network Comput., Monash Univ., Melbourne, Vic., Australia
Abstract :
Accountability is one of the most important security properties of electronic commerce (e-commerce) protocols. It can be used to resolve disputes among involved parties. Several formal logics were proposed to analyze this property. However, they lack of reasoning about the accountability of symmetric cryptography which is necessary for analyzing mobile payment protocols. In this paper, we propose an extension of existing accountability logics which is capable to deal with both symmetric and asymmetric cryptographic messages. Moreover, we show that our logic is general in that party´s requirements for payment transactions which are considered as goals of a payment protocol can be formalized by our logic.
Keywords :
cryptography; electronic commerce; formal verification; mobile computing; protocols; transaction processing; accountability logic; asymmetric cryptographic messages; e-commerce protocols; electronic commerce; formal logics; formal method; mobile payment protocols; payment transactions; protocol verification; security properties; symmetric cryptographic messages; symmetric cryptography; Australia; Authorization; Computer networks; Cryptographic protocols; Cryptography; Electronic commerce; Information technology; Logic; Wireless application protocol; Wireless networks;
Conference_Titel :
Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004. International Conference on
Print_ISBN :
0-7695-2108-8
DOI :
10.1109/ITCC.2004.1286423