论文部分内容阅读
通过将Kailar逻辑和LPC形式方法相结合,提出一种新的用于分析电子商务协议的形式化方法.新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力.该方法既能描述协议中参加者的行为又能够分析参加者拥有的知识和推导协议的可追究性和公平性,使用该方法不仅可以分析使用在线第三方的协议又可以分析使用脱线第三方的电子商务协议.与其它的方法相比较,这一新方法既避免了Kailar逻辑的缺陷又弥补了LPC方法的不足.