乐观公平交换协议的可追究性分析  

Analysis to Accountability of Optimistic Fair Exchange Protocols

作　　者：邢育红[1] 卜凡金 

机构地区：[1]山东交通学院,济南250023 [2]山东数字证书认证管理有限公司,济南250011

出　　处：《计算机工程与应用》2006年第27期125-128,共4页Computer Engineering and Applications

摘　　要：可追究性是安全电子商务协议必须遵循的重要原则之一,乐观公平交换协议是一类重要的电子商务协议。目前没有针对乐观公平交换协议的可追究性进行形式化分析的具体方法。文章提出了一种分析乐观公平交换协议可追究性的形式化方法,该方法不再单独定义非否认证据,只是研究协议的目标设计是否能提供实现可追究性的证据,将可追究性证明与公平性等其它安全性质的证明分开讨论,这样不论协议是否满足其它安全性质,都可以讨论协议是否满足可追究性。Accountability is one of main properties that security electronic commerce protocols must satlsfy.Optimlstlc fair exchange protocols are important electronic commerce protocols.There are no tools for the analysis of accountability of optimistic fair exchange protocols.A formal method that can analyze the accountability of optimistic fair exchange protocols is proposed in this paper.The method does not define nonrepudiation evidence.It only studies if the design of protocol goal can offer evidence of accountability. Thus accountability requirement can be discussed without reference to if the protocol satisfies fairness requirement.

关 键 词：乐观公平交换协议 可追究性 形式化分析 

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