| 1.绪论 | 第1-14页 |
| ·网络协议工程 | 第9-10页 |
| ·基于Petri网的网络协议分析的研究历史与现状 | 第10-12页 |
| ·密码协议分析的研究现状 | 第12页 |
| ·本论文的研究重点 | 第12-13页 |
| ·论文的组织结构 | 第13-14页 |
| 2.密码协议的概念及形式分析 | 第14-27页 |
| ·密码协议的基本概念 | 第14-15页 |
| ·常见的密码协议 | 第15-19页 |
| ·密码协议的安全性 | 第19-21页 |
| ·密码协议的形式分析 | 第21-27页 |
| 3.颜色Petri网概述及密码协议分析 | 第27-42页 |
| ·Petri网定义 | 第27-29页 |
| ·Petri网系统模拟 | 第29-30页 |
| ·Petri网性质 | 第30-36页 |
| ·颜色Petri网的基本定义 | 第36-39页 |
| ·颜色Petri网的性质 | 第39-40页 |
| ·颜色Petri网的密码协议分析 | 第40-42页 |
| 4.密钥协议分析实例 | 第42-52页 |
| ·两种无线通信安全协议 | 第42-48页 |
| ·TMN协议 | 第48-52页 |
| 5.结论 | 第52-53页 |
| ·本文的主要工作 | 第52页 |
| ·下一步的工作 | 第52-53页 |
| 致谢 | 第53-54页 |
| 参考文献 | 第54-59页 |
| 详细摘要 | 第59-67页 |