Secrecy analysis of purchase transaction in electronic purses

Il Gon Kim, Hyun Seok Kim, Ji Yeon Lee, Inhye Kang, Jin Young Choi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - International Conference on Advanced Information Networking and Applications, AINA
Pages979-984
Number of pages6
Volume1
DOIs
Publication statusPublished - 2006 Nov 22
Event20th International Conference on Advanced Information Networking and Applications - Vienna, Austria
Duration: 2006 Apr 182006 Apr 20

Other

Other20th International Conference on Advanced Information Networking and Applications
CountryAustria
CityVienna
Period06/4/1806/4/20

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Kim, I. G., Kim, H. S., Lee, J. Y., Kang, I., & Choi, J. Y. (2006). Secrecy analysis of purchase transaction in electronic purses. In Proceedings - International Conference on Advanced Information Networking and Applications, AINA (Vol. 1, pp. 979-984). [1620313] https://doi.org/10.1109/AINA.2006.296