基于串空间模型的安全协议分析与验证方法的研究
| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 目录 | 第7-10页 |
| 图和附表清单 | 第10-11页 |
| 1 前言 | 第11-18页 |
| ·安全协议概述 | 第11-14页 |
| ·安全协议简介 | 第11-12页 |
| ·安全协议性质 | 第12-13页 |
| ·协议缺陷类型 | 第13-14页 |
| ·研究历史及现状 | 第14-17页 |
| ·研究意义及论文结构安排 | 第17页 |
| ·本章小结 | 第17-18页 |
| 2 安全协议分析基础 | 第18-31页 |
| ·密码学知识 | 第18-23页 |
| ·秘密通信系统 | 第18-20页 |
| ·密码体制 | 第20-21页 |
| ·密码学的应用 | 第21-23页 |
| ·串空间(Strand Space) | 第23-27页 |
| ·串空间模型简介 | 第23-24页 |
| ·基本概念 | 第24-27页 |
| ·串空间模型分析协议 | 第27-30页 |
| ·串空间中协议的正确性 | 第27-28页 |
| ·串空间的协议分析 | 第28-30页 |
| ·本章小结 | 第30-31页 |
| 3 认证测试方法 | 第31-37页 |
| ·认证测试方法及其扩展 | 第31-33页 |
| ·认证测试方法简介 | 第31-32页 |
| ·认证测试方法的扩展 | 第32-33页 |
| ·TLS协议分析 | 第33-36页 |
| ·TLS协议的串空间模型 | 第33-34页 |
| ·TLS协议认证性分析 | 第34-36页 |
| ·本章小结 | 第36-37页 |
| 4 安全协议自动化分析方法 | 第37-49页 |
| ·协议自动化分析简介 | 第37页 |
| ·模型设计 | 第37-38页 |
| ·模型架构 | 第37-38页 |
| ·模型简介 | 第38页 |
| ·算法描述 | 第38-48页 |
| ·初始化协议算法 | 第38-40页 |
| ·协议串生成算法 | 第40-41页 |
| ·协议路径生成算法 | 第41-46页 |
| ·路径图 | 第41-42页 |
| ·路径图的邻接矩阵表示 | 第42-43页 |
| ·协议路径的生成 | 第43-46页 |
| ·协议路径分析算法 | 第46-48页 |
| ·本章小结 | 第48-49页 |
| 5 模型实现及应用 | 第49-58页 |
| ·模型实现 | 第49-53页 |
| ·数据库设计 | 第50-51页 |
| ·功能设计 | 第51-53页 |
| ·模型应用 | 第53-57页 |
| ·实验分析 | 第53-55页 |
| ·模型评价 | 第55-57页 |
| ·本章小结 | 第57-58页 |
| 6 结尾篇 | 第58-59页 |
| 参考文献 | 第59-62页 |
| 致谢 | 第62-63页 |
| 个人简历 在学期间发表的学术论文与研究成果 | 第63页 |
