loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 1
Accountability Logic for Mobile Payment Protocols
Las Vegas, Nevada
April 05-April 07
ISBN: 0-7695-2108-8
Supakorn Kungpisdan, Monash Univesity, Australia
Bala Srinivasan, Monash Univesity, Australia
Phu Dung Le, Monash Univesity, Australia
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.
Index Terms:
Protocol verification, accountability, mobile payment protocol, electronic commerce, formal method
Citation:
Supakorn Kungpisdan, Bala Srinivasan, Phu Dung Le, "Accountability Logic for Mobile Payment Protocols," itcc, vol. 1, pp.40, International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 1, 2004
Usage of this product signifies your acceptance of the Terms of Use.