| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 目录 | 第6-8页 |
| 第1章 概述 | 第8-20页 |
| ·选题背景 | 第8-9页 |
| ·安全协议基础知识 | 第9-11页 |
| ·安全协议分析方法现状 | 第11-16页 |
| ·研究意义 | 第16-17页 |
| ·论文组织结构 | 第17-20页 |
| 第2章 实例化空间 | 第20-42页 |
| ·基于知识理论的推理 | 第20-22页 |
| ·加密信息交换模型(Cryptographical Message Exchange Model) | 第22-27页 |
| ·协议的实例化空间 | 第27-32页 |
| ·协议的验证逻辑 | 第32-42页 |
| 第3章 基于Instantiation Space逻辑的公钥认证协议验证 | 第42-72页 |
| ·SPLICE／AS协议验证与分析 | 第42-58页 |
| ·Denning-Sacco协议的验证与分析 | 第58-70页 |
| ·小结 | 第70-72页 |
| 第4章 SPV在公钥认证协议中的应用 | 第72-76页 |
| ·SPV工具简介 | 第72-75页 |
| ·SPV工具应用 | 第75-76页 |
| 第5章 总结和展望 | 第76-78页 |
| 参考文献 | 第78-82页 |
| 致谢 | 第82-84页 |
| 原创性声明 | 第84页 |