Flaw and modification of the i KP electronic payment protocols

Information Processing Letters

Volumn 86, Issue 2, 2003, Pages 57-62

  Ogata, Kazuhiro ^a   Futatsugi, Kokichi ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

Agreement property; Electronic payment protocol; Safety security in digital systems

Indexed keywords

NETWORK PROTOCOLS; SECURITY OF DATA; WORLD WIDE WEB;

ELECTRONIC PAYMENT PROTOCOL;

ELECTRONIC COMMERCE;

EID: 0037473394     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(02)00480-5     Document Type: Article

References (10)

1. Bellare M., Garay J.A., Hauser R., Herzberg A., Krawczyk H., Steiner M., Tsudik G., Waidner M. i KP - a family of secure electronic payment protocols. 1st USENIX Workshop on Electronic Commerce. 1995;89-106.
2. Bellare M., Garay J.A., Hauser R., Herzberg A., Krawczyk H., Steiner M., Tsudik G., Waidner M. i KP - a family of secure electronic payment protocols (Working draft), 1995. http://citeseer.nj.nec.com/bellare95ikp.html.
3. Bellare M., Garay J.A., Hauser R., Herzberg A., Krawczyk H., Steiner M., Tsudik G., Van Herreweghen E., Waidner M. Design, implementation and deployment of the i KP secure electronic payment system. IEEE J. Selected Areas Comm. 18:(4):2000;611-627.
4. Diaconescu R., Futatsugi K. CafeOBJ report. AMAST Series in Computing, Vol. 6. 1998;World Scientific, Singapore.
5. Lowe G. An attack on the Needham-Schroeder public-key authentication protocol. Inform. Process. Lett. 56:1995;131-133.
6. MasterCard/Visa, SET secure electronic transactions protocol, Book One: Business Specifications, Book Two: Technical Specification, Book Three: Formal Protocol Definition, 1997 http://www.setco.org/set_specifications.html.
7. Needham R.M., Schroeder M.D. Using encryption for authentication in large networks of computers. Comm. ACM. 21:(12):1978;993-999.
8. K. Ogata, K. Futatsugi, Formal analysis of the i KP electronic payment protocols. JAIST Research Report, IS-RR-2002-020, 2002.
9. Ogata K., Futatsugi K. Rewriting-based verification of authentication protocols. WRLA'02, ENTCS, Vol. 71. 2002;Elsevier Science Publishers, Amsterdam.
10. Paulson L.C. The inductive approach to verifying cryptographic protocols. J. Comput. Security. 6:1998;85-128.