|
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 |
Size | Format |
|---|
| IS-RR-2002-020.pdf | | 2089Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
