Title :
Secrecy Analysis of Purchase Transaction in Electronic Purses
Author :
Kim, Il-Gon ; Kim, Hyun-Seok ; Lee, Ji-Yeon ; Kang, Inhye ; Choi, Jin-Young
Author_Institution :
Dept. of Comput. Sci. & Eng., Korea Univ., Seoul
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 e-commerce protocols
Keywords :
communicating sequential processes; electronic money; error analysis; formal verification; protocols; telecommunication security; CEPS; CSP; Casper; FDR; common electronic purse specification; communicating sequential process; e-commerce protocol; error analysis; failure divergence refinement; interoperable electronic purse standard; model-based verification technique; purchase transaction; secrecy analysis; Authentication; Computer errors; Computer science; Cryptographic protocols; Electronic commerce; Electronic countermeasures; Error analysis; Internet; Public key cryptography; Security;
Conference_Titel :
Advanced Information Networking and Applications, 2006. AINA 2006. 20th International Conference on
Conference_Location :
Vienna
Print_ISBN :
0-7695-2466-4
DOI :
10.1109/AINA.2006.296
