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

Analysis to Accountability of Optimistic Fair Exchange Protocols

可追究性是安全电子商务协议必须遵循的重要原则之一,乐观公平交换协议是一类重要的电子商务协议。目前没有针对乐观公平交换协议的可追究性进行形式化分析的具体方法。文章提出了一种分析乐观公平交换协议可追究性的形式化方法,该方法不再单独定义非否认证据,只是研究协议的目标设计是否能提供实现可追究性的证据,将可追究性证明与公平性等其它安全性质的证明分开讨论,这样不论协议是否满足其它安全性质,都可以讨论协议是否满足可追究性。

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.