文献类型：期刊文献

中文题名：离线公平交换协议的子协议分析

英文题名：Analysis of Sub-protocol in Offline Fair Exchange Protocol

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

第一作者：李向东

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

第一机构：信息工程大学信息工程学院,郑州450002

年份：2010

期号：3

起止页码：7-9

中文期刊名：计算机工程

外文期刊名：Computer Engineering

收录：CSTPCD;;Scopus;北大核心:【北大核心2008】；CSCD:【CSCD2011_2012】；

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

语种：中文

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

外文关键词：fair exchange; sub-protocol; strand space; offiine Trusted Third Party（TTP）; protocol design

摘要：离线公平交换协议的子协议对其公平性至关重要。使用串空间方法分析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.