论文部分内容阅读
在安全协议的形式化分析中，有两种完全不同的观点：符号方法和计算方法，两者各有优缺点．通过对两种观点的研究，按照优势互补的原则将两者相调和，建立了一种新的形式化分析方法．该方法将协议的安全性分为完全性和正确性，通过分析这两种性质，不仅能考察协议在逻辑上能否达到预期目标，而且能考察敌手在计算上的攻击能力．第一次从逻辑可靠性和计算可靠性两方面对协议进行了综合的安全性分析．