| 摘要 | 第1-3页 |
| ABSTRACT | 第3-10页 |
| 1 绪论 | 第10-14页 |
| ·背景介绍 | 第10-11页 |
| ·研究内容及主要工作 | 第11-12页 |
| ·论文的内容 | 第12-14页 |
| 2 安全协议的建模和分析方法概述 | 第14-27页 |
| ·安全协议的建模方法 | 第14-16页 |
| ·安全协议的分析方法 | 第16-23页 |
| ·安全协议的自动化分析工具 | 第23-26页 |
| ·本章小结 | 第26-27页 |
| 3 特殊环境下的安全协议建模 | 第27-34页 |
| ·特殊环境的定义 | 第27-28页 |
| ·针对广义的挑战-应答协议等的模型建立 | 第28-31页 |
| ·模型分析 | 第31-33页 |
| ·本章小结 | 第33-34页 |
| 4 协议分析与模型检测 | 第34-55页 |
| ·无第三方参与的认证协议的分析 | 第34-41页 |
| ·有第三方参与的认证协议的分析 | 第41-44页 |
| ·对于密码学中认证性的一些讨论 | 第44-46页 |
| ·形式化方法自动工具的深入研究 | 第46-53页 |
| ·本章小结 | 第53-55页 |
| 5 总结与展望 | 第55-57页 |
| ·本文的工作总结 | 第55页 |
| ·今后的工作 | 第55-57页 |
| 参考文献 | 第57-61页 |
| 附录 | 第61-65页 |
| 致谢 | 第65-66页 |
| 攻读学位期间发表的学术论文 | 第66-69页 |