| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 第一章 绪论 | 第6-16页 |
| ·密码协议的基本概念 | 第6-8页 |
| ·密码协议的安全性 | 第8-9页 |
| ·密码协议形式化分析技术的研究与进展 | 第9-13页 |
| ·论文的安排与研究成果 | 第13-16页 |
| 第二章 基于模型检测技术的两方密码协议运行模式分析法 | 第16-24页 |
| ·引言 | 第16页 |
| ·模型检测技术分析密码协议的理论基础 | 第16-19页 |
| ·两方密码协议运行模式分析法 | 第19-24页 |
| 第三章 两方密码协议运行模式分析法分析SSL协议 | 第24-34页 |
| ·引言 | 第24-25页 |
| ·SSL协议安全性分析 | 第25-28页 |
| ·两方密码协议运行模式分析法分析基本的SSL握手层协议 | 第28-34页 |
| 第四章 三方密码协议运行模式分析法 | 第34-48页 |
| ·三方密码协议运行模式分析法 | 第34-36页 |
| ·三者密码协议运行模式分析法实例研究 | 第36-45页 |
| ·TMN协议的攻击分类 | 第45-48页 |
| 结束语 | 第48-50页 |
| 致谢 | 第50-52页 |
| 参考文献 | 第52-56页 |
| 作者在攻读硕士学位期间完成的论文 | 第56页 |