一种分析电子商务协议的新工具

摘要

提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1) 能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2) 初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3) 增加了密文理解规则,能够有效地分析包含有签过名的加密公式的消息.