一种新的安全协议形式化分析方法——证据逻辑

摘要

形式化分析技术对于安全协议的正确设计至关重要,考虑到现有信仰逻辑分析方法的不足,该文提出一种新的安全协议形式化分析方法--证据逻辑,即通过对协议主体证据的推理来实现安全协议的形式化分析.与现有的方法相比,该方法不仅能够用于认证协议、密钥协商(交换)协议的分析,也能用于电子商务协议的不可否认性和公平性的分析,因此具有更好的通用性和更强的协议分析能力.