基于消息构造的安全协议实施安全性分析
| 摘要 | 第5-7页 |
| Abstract | 第7-8页 |
| 第一章 引言 | 第11-21页 |
| 1.1 研究背景及意义 | 第11页 |
| 1.2 国内外研究现状 | 第11-19页 |
| 1.3 文章组织结构 | 第19-21页 |
| 第二章 研究方法 | 第21-23页 |
| 2.1 网络轨迹方法 | 第21-22页 |
| 2.2 模型抽取方法 | 第22页 |
| 2.3 本章小结 | 第22-23页 |
| 第三章 基于消息构造的安全协议实施安全性分析方法 | 第23-38页 |
| 3.1 问题分析 | 第23-24页 |
| 3.2 基于APItrace的消息构造 | 第24-31页 |
| 3.2.1 Net-trace解析 | 第25-27页 |
| 3.2.2 APItrace解析 | 第27-28页 |
| 3.2.3 Token定位 | 第28-30页 |
| 3.2.4 安全函数输出重构与协议请求消息构造 | 第30-31页 |
| 3.3 安全协议服务器端抽象模型生成 | 第31-35页 |
| 3.3.1 安全协议服务器端响应消息解析 | 第32-33页 |
| 3.3.2 安全协议服务器端抽象模型生成 | 第33-35页 |
| 3.4 基于消息构造的安全协议实施安全性分析方法 | 第35-37页 |
| 3.5 方法讨论 | 第37页 |
| 3.6 本章小结 | 第37-38页 |
| 第四章 SPIA工具设计 | 第38-44页 |
| 4.1 框架分析与设计 | 第38页 |
| 4.2 功能模块设计 | 第38-43页 |
| 4.2.1 Net-trace解析模块 | 第39-40页 |
| 4.2.2 APItrace解析模块 | 第40页 |
| 4.2.3 Token定位模块 | 第40-41页 |
| 4.2.4 安全函数输出重构模块 | 第41-42页 |
| 4.2.5 服务器端模型生成模块 | 第42-43页 |
| 4.3 本章小结 | 第43-44页 |
| 第五章 SPIA实现及案例分析 | 第44-57页 |
| 5.1 SPIA实现与测试 | 第44-46页 |
| 5.2 案例分析 | 第46-56页 |
| 5.2.1 分析方法及工具 | 第46-47页 |
| 5.2.2 分析过程及结果 | 第47-56页 |
| 5.3 本章小结 | 第56-57页 |
| 第六章 总结与展望 | 第57-60页 |
| 6.1 总结与讨论 | 第57-58页 |
| 6.2 未来工作展望 | 第58-60页 |
| 参考文献 | 第60-67页 |
| 致谢 | 第67-68页 |
| 附录 攻读硕士学位期间的研究成果 | 第68页 |
