| 1 绪论 | 第1-21页 |
| ·课题的提出 | 第17页 |
| ·密码协议分析的研究现状 | 第17-19页 |
| ·论文的研究思路和内容安排 | 第19-21页 |
| 2 密码协议的形式分析 | 第21-30页 |
| ·密码协议基本概念 | 第21-22页 |
| ·密码协议的安全性 | 第22-24页 |
| ·密码协议的形式分析 | 第24-30页 |
| 3 Petri网概述 | 第30-40页 |
| ·Petri网及其应用简介 | 第30页 |
| ·Petri网定义 | 第30-32页 |
| ·Petri网系统模拟 | 第32-35页 |
| ·Petri网性质分析 | 第35-40页 |
| 4 基于运行模式法和Petri网的密码协议分析 | 第40-50页 |
| ·密码协议的运行模式分析法 | 第40-41页 |
| ·协议运行模式的Petri网模型 | 第41-44页 |
| ·协议分析的具体步骤 | 第44-48页 |
| ·本章小结 | 第48-50页 |
| 5 密码协议分析实例 | 第50-61页 |
| ·Helsinki协议分析 | 第50-54页 |
| ·TMN协议分析 | 第54-60页 |
| ·本章小结 | 第60-61页 |
| 6 结束语 | 第61-63页 |
| ·本文的主要工作 | 第61页 |
| ·本文工作的特点和不足 | 第61-62页 |
| ·下一步的工作 | 第62-63页 |
| 致谢 | 第63-64页 |
| 参考文献 | 第64-68页 |