|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b11. 会議発表論文・発表資料等 >
b11-1. 会議発表論文・発表資料 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/4657
|
| タイトル: | Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol |
| 著者: | Kong, Weiqiang
Ogata, Kazuhiro
Xiang Jianwen
Futatsugi, Kokichi |
| 発行日: | 2004-09 |
| 出版者: | Institute of Electrical and Electronics Engineers (IEEE) |
| 誌名: | The Fourth International Conference on Computer and Information Technology, 2004. CIT '04. |
| 開始ページ: | 1100 |
| 終了ページ: | 1107 |
| DOI: | 10.1109/CIT.2004.1357342 |
| 抄録: | Fair exchange and anonymity are important requirements of e-commerce protocols. We have formally analyzed an e-commerce protocol, which is claimed to satisfy the two requirements. The protocol, together with the intruder, has been modeled as an OTS, a kind of transition system. Then the OTS has been written in CafeOBJ, an algebraic specification language. Although most part of the two requirements can be expressed as safety properties, liveness properties are needed to fully express them. We have expressed the safety part of the two requirements in CafeOBJ and partly verified that the OTS satisfies the safety part by writing proof scores in CafeOBJ. |
| Rights: | Copyright (c)2004 IEEE. Reprinted from The Fourth International Conference on Computer and Information Technology, 2004. CIT '04., 14-16 Sept. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of JAIST's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it. |
| URI: | http://hdl.handle.net/10119/4657 |
| 資料タイプ: | publisher |
| 出現コレクション: | b11-1. 会議発表論文・発表資料 (Conference Papers)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 6470.pdf | | 4836Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
