论文部分内容阅读
密码协议安全性分析对于保障计算机网络的安全通信具有重要意义。本文主要研究运用形式化技术分析密码协议的理论与技术。研究成果如下： 系统地介绍了密码协议的一些基本概念和密码协议安全性分析的重要意义、研究进展和现状，概述了密码协议的分类和现有的密码协议形式化分析方法。 介绍了两方密码协议运行模式分析法，并用此方法对SSL握手层协议进行了分析，并发现了已存在的安全漏洞。 结合模型检测技术分析密码协议的理论，设计和提出了基于三方密码协议的运行模式分析法。 用三方密码协议运行模式分析法对TMN协议进行了详细的分析，最后对TMN协议的攻击形式进行了归类整理。