| 摘要 | 第5-6页 |
| ABSTRACT | 第6页 |
| 第一章 绪论 | 第9-12页 |
| 1.1 研究背景 | 第9-10页 |
| 1.2 本文工作 | 第10页 |
| 1.3 论文结构 | 第10-12页 |
| 第二章 安全协议的设计及形式化验证 | 第12-38页 |
| 2.1 安全协议的密码学基础 | 第12-18页 |
| 2.1.1 对称密钥密码体制 | 第13-14页 |
| 2.1.2 公钥密码体制 | 第14-16页 |
| 2.1.3 数字签名 | 第16页 |
| 2.1.4 密钥管理 | 第16-17页 |
| 2.1.5 密钥分配 | 第17-18页 |
| 2.2 安全协议基础 | 第18-24页 |
| 2.2.1 安全协议的安全属性 | 第19-20页 |
| 2.2.2 安全协议的缺陷及攻击方法 | 第20-22页 |
| 2.2.3 安全协议的设计原则 | 第22-24页 |
| 2.3 改进的NSSK安全协议的设计 | 第24-28页 |
| 2.4 形式化分析方法的原理 | 第28-31页 |
| 2.5 改进的NSSK安全协议的形式化分析 | 第31-36页 |
| 2.5.1 对改进的NSSK安全协议进行理想化建模 | 第32-33页 |
| 2.5.2 建立初始假设集合 | 第33-34页 |
| 2.5.3 形式化验证 | 第34-36页 |
| 2.5.4 验证结果 | 第36页 |
| 2.6 本章小结 | 第36-38页 |
| 第三章 改进的NSSK安全协议的实现 | 第38-51页 |
| 3.1 安全协议的实现原理 | 第38-40页 |
| 3.2 协议实现 | 第40-50页 |
| 3.3 本章小结 | 第50-51页 |
| 第四章 改进的NSSK安全协议的应用及测试 | 第51-56页 |
| 4.1 软件介绍 | 第51页 |
| 4.2 软件结构图 | 第51-52页 |
| 4.3 安全协议在该软件中的使用 | 第52-55页 |
| 4.4 本章小结 | 第55-56页 |
| 结束语 | 第56-57页 |
| 参考文献 | 第57-59页 |
| 发表文章 | 第59-60页 |
| 致谢 | 第60页 |