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

Analysis of Sub-protocol in Offline Fair Exchange Protocol

作　　者：李向东[1,2] 陈莉[1,3] 王清贤[1] 

机构地区：[1]信息工程大学信息工程学院,郑州450002 [2]郑州大学西亚斯国际学院,新郑451150 [3]河南财经学院计算中心,郑州450002

出　　处：《计算机工程》2010年第3期7-9,12,共4页Computer Engineering

基　　金：国家"863"计划基金资助项目(2007AA01Z471);河南省科技攻关基金资助重点项目(072102210029);河南省科技攻关基金资助项目(0624260017)

摘　　要：离线公平交换协议的子协议对其公平性至关重要。使用串空间方法分析2个重要的离线公平交换协议的子协议对协议公平性的影响,发现保持子协议运行的互斥和结果的同步是离线公平交换协议公平性的重要保证。根据该发现,针对协议中存在的问题,给出协议的改进方案,提出设计两方和多方离线公平交换协议的建议。Sub-protocols are crucial to the fairness ofoffiine fair exchange protocols. The strand space model analyze in the ASW offiine protocol and the KM offiine 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 offiine fair exchange protocols.

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]