TY - GEN
T1 - Secrecy analysis of purchase transaction in electronic purses
AU - Kim, Il Gon
AU - Kim, Hyun Seok
AU - Lee, Ji Yeon
AU - Kang, Inhye
AU - Choi, Jin Young
PY - 2006
Y1 - 2006
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=33751099865&partnerID=8YFLogxK
U2 - 10.1109/AINA.2006.296
DO - 10.1109/AINA.2006.296
M3 - Conference contribution
AN - SCOPUS:33751099865
SN - 0769524664
SN - 9780769524665
T3 - Proceedings - International Conference on Advanced Information Networking and Applications, AINA
SP - 979
EP - 984
BT - Proceedings - 20th International Conference on Advanced Information Networking and Applications
T2 - 20th International Conference on Advanced Information Networking and Applications
Y2 - 18 April 2006 through 20 April 2006
ER -