| 摘要（Abstract） | 第1-7页 |
| 第一章 绪论 | 第7-21页 |
| 1-1 密码协议基本概念 | 第7-8页 |
| 1-2 密码协议的安全性 | 第8-12页 |
| 1-3 形式分析研究与进展 | 第12-19页 |
| 1-4 论文安排与研究结果 | 第19-21页 |
| 第二章 BAN类逻辑及其缺陷 | 第21-32页 |
| 2-1 BAN逻辑 | 第21-25页 |
| 2-2 BAN逻辑的缺陷 | 第25-29页 |
| 2-3 扩展的BAN逻辑 | 第29-31页 |
| 2-4 本章小结 | 第31-32页 |
| 第三章 模型检测和SMV | 第32-42页 |
| 3-1 引言 | 第32页 |
| 3-2 模型检测技术分析密码协议的方法与结果 | 第32-36页 |
| 3-3 SMV分析工具 | 第36-41页 |
| 3-4 本章小结 | 第41-42页 |
| 第四章 若干密码协议的SMV分析 | 第42-58页 |
| 4-1 引言 | 第42页 |
| 4-2 Needham-Schroeder公钥认证协议的分析 | 第42-47页 |
| 4-3 Helsinki协议的分析 | 第47-51页 |
| 4-4 TMN协议的分析 | 第51-57页 |
| 4-5 本章小结 | 第57-58页 |
| 第五章 运行模式分析密钥协议方法研究 | 第58-71页 |
| 5-1 引言 | 第58页 |
| 5-2 两者密码协议运行模式分析法 | 第58-61页 |
| 5-3 运行模式分析密码协议实例研究 | 第61-70页 |
| 5-4 本章小结 | 第70-71页 |
| 结论 | 第71-72页 |
| 致谢 | 第72-73页 |
| 参考文献 | 第73-85页 |
| 作者在读期间的研究成果 | 第85页 |