|
|||||
|
|
| 离线公平交换协议的子协议分析 | |
| 引用本文： | 李向东,陈莉,王清贤.离线公平交换协议的子协议分析[J].计算机工程,2010,36(3):7-9,12. |
| 作者姓名： | 李向东 陈莉 王清贤 |
| 作者单位： | 1. 信息工程大学信息工程学院,郑州,450002;郑州大学西亚斯国际学院,新郑,451150 2. 信息工程大学信息工程学院,郑州,450002;河南财经学院计算中心,郑州,450002 3. 信息工程大学信息工程学院,郑州,450002 |
| 基金项目： | 国家“863”计划基金资助项目(2007AA01Z471);;河南省科技攻关基金资助重点项目(072102210029);;河南省科技攻关基金资助项目(0624260017) |
| 摘 要： | 离线公平交换协议的子协议对其公平性至关重要。使用串空间方法分析2个重要的离线公平交换协议的子协议对协议公平性的影响，发现保持子协议运行的互斥和结果的同步是离线公平交换协议公平性的重要保证。根据该发现，针对协议中存在的问题，给出协议的改进方案，提出设计两方和多方离线公平交换协议的建议。 |
| 关 键 词： | 公平交换 子协议 串空间 离线可信第三方 协议设计 |
| 修稿时间： | |
Analysis of Sub-protocol in Offline Fair Exchange Protocol |
|
| LI Xiang-dong,CHEN Li,WANG Qing-xian.Analysis of Sub-protocol in Offline Fair Exchange Protocol[J].Computer Engineering,2010,36(3):7-9,12. | |
| Authors: | LI Xiang-dong CHEN Li WANG Qing-xian |
| Affiliation: | (1. Institute of Information Engineering, Information Engineering University, Zhengzhou 450002; 2. Sias International College, Zhengzhou University, Xinzheng 451150; 3. Computing Center, Henan University of Finance and Economics, Zhengzhou 450002) |
| Abstract: | Sub-protocols are crucial to the fairness of offline fair exchange protocols. The strand space model analyze in the ASW offline protocol and the KM offline protocol. Analysis shows that keeping the sub-protocols' executions mutual exclusive and their result synchronization is important for guaranteeing the fairness of offline fair exchange protocols. Based on the analysis,this paper proposes some improvements to solve the problems found in the protocols,and makes suggestions on designing future offline fair exchange protocols. |
| Keywords: | fair exchange sub-protocol strand space offline Trusted Third Party(TTP) protocol design |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程》浏览原始摘要信息 | |
| 点击此处可从《计算机工程》下载全文 | |