JAIST Repository >
School of Information Science >
JAIST Research Reports >
Research Report - School of Information Science : ISSN 0918-7553 >
IS-RR-2002 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/8399

Title: Formal analysis of the iKP electronic payment protocols
Authors: Ogata, Kazuhiro
Futatsugi, Kokichi
Issue Date: 2002-08-20
Publisher: 北陸先端科学技術大学院大学情報科学研究科
Magazine name: Research report (School of Information Science, Japan Advanced Institute of Science and Technology)
Volume: IS-RR-2002-020
Start page: 1
End page: 23
Abstract: iKP (i-Key-Protocol, i = 1, 2, 3) is a family of electronic payment protocols, developed in early 1995 by a group of researchers at the IBM Research labs in Yorktown Heights and Zurich, and one of the ancestors of well-known SET standard. In this paper, we analyze iKP with respect that they have a property that buyer and seller always agreed on the payment whenever acquirer authorizes it. As the designers of the iKP protocols point out, the 1KP protocol does not possess the property. We found out, however, that there exists a counter example to the 2KP and 3KP protocols. Threfore we propose modification of the 2KP and 3KP protocols so that they can possess the property. We have formally verified that the modified 2KP and 3KP protocols possess the property. In this paper, we describe the verification that the modified 3KP protocol possesses the property.
URI: http://hdl.handle.net/10119/8399
Material Type: publisher
Appears in Collections:IS-RR-2002

Files in This Item:

File Description SizeFormat
IS-RR-2002-020.pdf2089KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology