Formal analysis of the iKP electronic payment protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2609, Issue , 2003, Pages 441-460

  Ogata, Kazuhiro ^a   Futatsugi, Kokichi ^b  

^a NEC CORPORATION   (Japan)

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ELECTRONIC PAYMENT PROTOCOLS; FORMAL ANALYSIS; PAYMENT PROTOCOL;

ARTIFICIAL INTELLIGENCE;

EID: 35248900007     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36532-x_25     Document Type: Article

References (22)

1. Bellare, M., Garay, J.A., Hauser, R., Herzberg, A., Krawczyk, H., Steiner, M., Tsudik, G., Waidner, M.: iKP - a family of secure electronic payment protocols. In: First USENIX Workshop on Electronic Commerce (1995) 89-106 (http://www.usenix.org/publications/library/proceedings/ec95).
2. Bellare, M., Garay, J.A., Hauser, R., Herzberg, A., Krawczyk, H., Steiner, M., Tsudik, G., Herreweghen, E.V., Waidner, M.: Design, implementation and deployment of the iKP secure electronic payment system. IEEE Journal of Selected Areas in Communications 18 (2000) 611-627
3. MasterCard/Visa: SET secure electronic transactions protocol. Book One: Business Specifications, Book Two: Technical Specification, Book Three: Formal Protocol Definition (http://www.setco.org/set_specifications.html) (1997)
4. Ogata, K., Futatsugi, K.: Flaw and modification of the iKP electronic payment protocols. Inf. Process. Lett. (to appear)
5. CafeOBJ: CafeOBJ web page. http://www.ldl.jaist.ac.jp/cafeobj/ (2001)
6. Diaconescu, R., Futatsugi, K.: CafeOBJ report. AMAST Series in Computing, 6. World Scientific, Singapore (1998)
7. Futatsugi, K., Ogata, K.: Rewriting can verify distributed real-time systems. In: Int'l Symposium on Rewriting, Proof, and Computation. (2001) 60-79
8. Ogata, K., Futatsugi, K.: Rewriting-based verification of authentication protocols. In: WRLA '02. Volume 71 of ENTCS., Elsevier Science Publishers (2002)
9. Cox, B., Tygar, J.D., Sirbu, M.: NetBill security and transaction protocol. In: First USENIX Workshop on Electronic Commerce. (1995) 77-88
10. Lynch, N.A.: Distributed algorithms. Morgan-Kaufmann (1996)
11. Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Trans. Inform. Theory IT-29 (1983) 198-208
12. Bellare, M., Garay, J.A., Hauser, R., Herzberg, A., Krawczyk, H., Steiner, M., Tsudik, G., Waidner, M.: iKP - a family of secure electronic payment protocols (WORKING DRAFT). http://citeseer.nj.nec.com/bellare95ikp.html (1995)
13. Kailar, R.: Accountability in electronic commerce protocols. IEEE Trans. Softw. Eng. 22 (1996) 313-328
14. Clarke, E., Jha, S., Marrero, W.: A machine checkable logic of knowledge for specifying security properties of electronic commerce protocols. In: Workshop on Formal Methods and Security Protocols. (1998)
15. Heintze, N., Tygar, J., Wing, J., Wong, H.C.: Model checking electronic commerce protocols. In: Second USENIX Workshop on Electronic Commerce. (1996) 147-164
16. Lu, S., Smolka, S.A.: Model checking the Secure Electronic Transaction (SET) protocol. In: MASCOTS '99. (1999) 358-365
17. Paulson, L.C.: The inductive approach to verifying cryptographic protocols. J. Comput. Security 6 (1998) 85-128
18. Paulson, L.C.: Inductive analysis of the internet protocol TLS. ACM Trans. Infom. and Sys. Sec. 2 (1999) 332-351
19. Bella, G., Massacci, F., Paulson, L.C., Tramontane, P.: Formal verification of Cardholder Registration in SET. In: ESORICS 2000. LNCS 1709, Springer (1997) 159-174
20. Bella, G., Massacci, F., Paulson, L.C.: Verifying the SET purchase protocols. http://citeseer.nj.nec.com/503068.html (2001)
21. Bolignano, D.: Towards the formal verification of electronic commerce,. In: 10th IEEE CSFW. (1997) 133-146
22. Meadows, C., Syverson, P.: A formal specification of requirements for payment transactions in the SET protocol. In: FC '98. LNCS 1465, Springer (1998) 122-140