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