论文部分内容阅读
密码协议安全性分析是网络安全的一个难题，从20世纪30年代到现在，运用形式化方法对安全协议进行分析一直是计算机安全领域的研究热点。并产生了一些比较有影响的验证方法，如Ban逻辑方法、GSP方法、串空间模型方法、Paulson归纳法、Petri网方法等。形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。本文主要研究了基于颜色Petri网的密码协议分析方法，开展了以下方面的研究工作： (1)对常见的密码协议进行了总结，阐述了各自的特点。 (2)用颜色Petri网作为工具来分析密码协议，并且给出了用它分析密码协议的具体方法和步骤。 (3)用颜色Petri网模型对具体的三个密码协议进行了分析，并对密码协议的一类攻击的特点做出了概括。