论文部分内容阅读
近年来 ,电子商务协议的设计逐渐成为热点 .可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力 .缺乏可追究性 ,电子交易容易引起争议 .因此 ,Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的形式化分析方法 ,简称 Kailar逻辑 .该文指出这一逻辑的缺陷 :(1)不能分析协议的公平性 ;(2 )对协议语句的解释及初始化假设是非形式化的 ,存在局限性 ;(3)无法处理密文 .
In recent years, the design of e-commerce protocols has gradually become a hot topic.Researchability refers to the ability of individuals or organizations to force individuals or organizations to be responsible for their actions in electronic transactions.Lack of accountability and electronic transactions can be controversial.So Rajashekar Kailar proposed a formal analysis method for analyzing the accountability of e-commerce protocols, referred to as Kailar logic for short. This paper points out the defects of this logic: (1) can not analyze the fairness of the protocol; (2) The explanations and initialization assumptions are unformatted, and there are limitations; (3) Ciphertext can not be processed.