Windows加密应用程序的密码误用漏洞检测方法研究
| 摘要 | 第4-5页 |
| ABSTRACT | 第5-6页 |
| 第一章 绪论 | 第12-18页 |
| 1.1 研究背景与意义 | 第12页 |
| 1.2 研究现状 | 第12-15页 |
| 1.2.1 密码误用漏洞原理与机制研究 | 第13-14页 |
| 1.2.2 密码误用漏洞检测方法研究 | 第14-15页 |
| 1.3 研究目标与内容 | 第15-16页 |
| 1.4 研究思路 | 第16-17页 |
| 1.5 论文结构安排 | 第17-18页 |
| 第二章 密码误用漏洞与密码应用机制研究 | 第18-35页 |
| 2.1 基于CVE信息库的密码误用漏洞研究 | 第18-23页 |
| 2.1.1 算法安全性漏洞 | 第19-21页 |
| 2.1.2 密钥安全性漏洞 | 第21-22页 |
| 2.1.3 体制安全性漏洞 | 第22-23页 |
| 2.2 密码函数库应用机制分析 | 第23-34页 |
| 2.2.1 OpenSSL密码库分析 | 第23-26页 |
| 2.2.2 CryptoAPI密码库分析 | 第26-29页 |
| 2.2.3 SSL证书验证机制分析 | 第29-34页 |
| 2.3 本章小结 | 第34-35页 |
| 第三章 参数误用型漏洞检测方法研究 | 第35-49页 |
| 3.1 研究思路 | 第35页 |
| 3.2 参数误用型漏洞检测规则模型 | 第35-39页 |
| 3.2.1 形式化定义 | 第35-37页 |
| 3.2.2 检测规则描述 | 第37-39页 |
| 3.3 密码函数参数信息的提取与分析 | 第39-47页 |
| 3.3.1 运行时密码函数及参数的提取 | 第40-42页 |
| 3.3.2 密钥参数的数据流跟踪 | 第42-46页 |
| 3.3.3 硬编码参数的静态分析 | 第46-47页 |
| 3.4 检测流程 | 第47-48页 |
| 3.5 本章小结 | 第48-49页 |
| 第四章 应用完整性误用漏洞检测方法研究 | 第49-61页 |
| 4.1 研究思路 | 第49页 |
| 4.2 密码函数应用完整性模型 | 第49-52页 |
| 4.2.1 模型的定义 | 第49-51页 |
| 4.2.2 各密码模块的构建 | 第51-52页 |
| 4.3 动静结合的密码函数调用图提取 | 第52-55页 |
| 4.3.1 提取方法设计 | 第54-55页 |
| 4.4 密码函数支配树的构建 | 第55-59页 |
| 4.4.1 支配树的相关定义 | 第56-57页 |
| 4.4.2 支配树生成算法 | 第57-59页 |
| 4.5 检测算法设计 | 第59-60页 |
| 4.6 本章小结 | 第60-61页 |
| 第五章 系统实现与测试分析 | 第61-82页 |
| 5.1 整体系统框架 | 第61页 |
| 5.2 参数误用漏洞检测子系统 | 第61-71页 |
| 5.2.1 运行时信息提取模块 | 第62-65页 |
| 5.2.2 动态污点分析模块 | 第65-69页 |
| 5.2.3 硬编码参数分析模块 | 第69-71页 |
| 5.3 应用完整性误用漏洞检测子系统 | 第71-75页 |
| 5.3.1 完整性模型模块 | 第71-72页 |
| 5.3.2 控制流分析 | 第72-75页 |
| 5.4 样例测试与结果分析 | 第75-81页 |
| 5.4.1 测试环境 | 第75页 |
| 5.4.2 测试方法 | 第75页 |
| 5.4.3 测试结果分析 | 第75-81页 |
| 5.5 本章小结 | 第81-82页 |
| 第六章 结束语 | 第82-84页 |
| 6.1 工作总结 | 第82页 |
| 6.2 下一步工作和展望 | 第82-84页 |
| 致谢 | 第84-85页 |
| 参考文献 | 第85-89页 |
| 作者简历 | 第89页 |
