文件名称：一种新的安全协议形式化分析方法――证据逻辑 (2008年)
文件大小：232KB
文件格式：PDF
更新时间：2024-06-14 19:54:25
工程技术 论文
形式化分析技术对于安全协议的正确设计至关重要，考虑到现有信仰逻辑分析方法的不足，该文提出一种新的安全协议形式化分析方法――证据逻辑，即通过对协议主体证据的推理来实现安全协议的形式化分析。与现有的方法相比，该方法不仅能够用于认证协议、密钥协商(交换)协议的分析，也能用于电子商务协议的不可否认性和公平性的分析，因此具有更好的通用性和更强的协议分析能力。