@inproceedings{9ceb4d1125b24ceeb8ed8a8f3aac94f2,
title = "Secrecy analysis of purchase transaction in electronic purses",
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.",
author = "Kim, \{Il Gon\} and Kim, \{Hyun Seok\} and Lee, \{Ji Yeon\} and Inhye Kang and Choi, \{Jin Young\}",
year = "2006",
doi = "10.1109/AINA.2006.296",
language = "English",
isbn = "0769524664",
series = "Proceedings - International Conference on Advanced Information Networking and Applications, AINA",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "979--984",
booktitle = "Proceedings - 20th International Conference on Advanced Information Networking and Applications",
address = "United States",
note = "20th International Conference on Advanced Information Networking and Applications, AINA 2006 ; Conference date: 18-04-2006 Through 20-04-2006",
}