计算机工程 ›› 2010, Vol. 36 ›› Issue (3): 7-9,12.doi: 10.3969/j.issn.1000-3428.2010.03.003

• 博士论文 • 上一篇    下一篇

离线公平交换协议的子协议分析

李向东1,2,陈 莉1,3,王清贤1   

  1. (1. 信息工程大学信息工程学院,郑州 450002;2. 郑州大学西亚斯国际学院,新郑 451150;3. 河南财经学院计算中心,郑州 450002)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2010-02-05 发布日期:2010-02-05

Analysis of Sub-protocol in Offline Fair Exchange Protocol

LI Xiang-dong1,2, CHEN Li1,3, WANG Qing-xian1   

  1. (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)
  • Received:1900-01-01 Revised:1900-01-01 Online:2010-02-05 Published:2010-02-05

摘要: 离线公平交换协议的子协议对其公平性至关重要。使用串空间方法分析2个重要的离线公平交换协议的子协议对协议公平性的影响,发现保持子协议运行的互斥和结果的同步是离线公平交换协议公平性的重要保证。根据该发现,针对协议中存在的问题,给出协议的改进方案,提出设计两方和多方离线公平交换协议的建议。

关键词: 公平交换, 子协议, 串空间, 离线可信第三方, 协议设计

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.

Key words: fair exchange, sub-protocol, strand space, offline Trusted Third Party(TTP), protocol design

中图分类号: