20th International Conference on Advanced Information Networking and Applications - Volume 1 (AINA'06) Secrecy Analysis of Purchase Transaction in Electronic Purses Vienna, Austria April 18-April 20 ISBN: 0-7695-2466-4
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/AINA.2006.296
The Common Electronic Purse Specifications (CEPS) was created as a globally interoperable electronic purse standard. However, it is also well known that numerous significant errors have been found in the design of e-commerce protocols. In this paper model-based verification using Casper, CSP and FDR is addressed, demonstrating how the secrecy properties in the CEPS can be achieved. Vulnerabilities are confirmed and its countermeasure are mentioned. In addition, we confirmed that model-based verification techniques should help identify and analyze error in the design of ecommerce protocols.
Citation:
Il-Gon Kim, Hyun-Seok Kim, Ji-Yeon Lee, Jin-Young Choi, Inhye Kang, "Secrecy Analysis of Purchase Transaction in Electronic Purses," aina, vol. 1, pp.979-984, 20th International Conference on Advanced Information Networking and Applications - Volume 1 (AINA'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb