|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-2002 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/8399
|
| タイトル: | Formal analysis of the iKP electronic payment protocols |
| 著者: | Ogata, Kazuhiro
Futatsugi, Kokichi |
| 発行日: | 2002-08-20 |
| 出版者: | 北陸先端科学技術大学院大学情報科学研究科 |
| 誌名: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology) |
| 巻: | IS-RR-2002-020 |
| 開始ページ: | 1 |
| 終了ページ: | 23 |
| 抄録: | 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 |
| 資料タイプ: | publisher |
| 出現コレクション: | IS-RR-2002
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IS-RR-2002-020.pdf | | 2089Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
