JVM运行时库安全策略的全自动检测方法研究
| 摘要 | 第1-7页 |
| Abstract | 第7-14页 |
| 插图索引 | 第14-16页 |
| 附表索引 | 第16-17页 |
| 第1章 绪论 | 第17-34页 |
| ·课题背景与意义 | 第17-19页 |
| ·相关研究现状 | 第19-30页 |
| ·JVM 安全策略 | 第19-22页 |
| ·动态分析 | 第22-25页 |
| ·静态分析 | 第25-28页 |
| ·污点分析 | 第28-30页 |
| ·论文研究内容和创新 | 第30-32页 |
| ·论文组织结构 | 第32-34页 |
| 第2章 半自动检测方法的研究 | 第34-53页 |
| ·检测难点概述 | 第34-42页 |
| ·分析所需的技术 | 第34-37页 |
| ·敏感操作的引入 | 第37-39页 |
| ·方法摘要的引入 | 第39-42页 |
| ·方法摘要的计算 | 第42-51页 |
| ·方法摘要的组成 | 第42-45页 |
| ·不安全路径的检测 | 第45-49页 |
| ·风险方法的检测 | 第49-51页 |
| ·CMV 的实现与不足 | 第51-52页 |
| ·小结 | 第52-53页 |
| 第3章 FADM 系统的设计与实现 | 第53-71页 |
| ·系统概况 | 第53-56页 |
| ·静态分析模块 | 第56-57页 |
| ·检验模型模块 | 第57-64页 |
| ·增强型检验模型 | 第57-60页 |
| ·检验模型的定义 | 第60-62页 |
| ·检验模型的应用举例 | 第62-64页 |
| ·CFG 流图模块 | 第64-68页 |
| ·方法摘要模块 | 第68-69页 |
| ·小结 | 第69-71页 |
| 第4章 FADM 检验算法的描述 | 第71-84页 |
| ·方法摘要的初始化 | 第71-72页 |
| ·计算方法摘要的算法描述 | 第72-82页 |
| ·队列技术的应用 | 第72-75页 |
| ·队列计算方法摘要的算法 | 第75-79页 |
| ·后续污点分析 | 第79-81页 |
| ·算法性能分析 | 第81-82页 |
| ·小结 | 第82-84页 |
| 第5章 实验结果与分析 | 第84-93页 |
| ·实验环境 | 第84页 |
| ·硬件环境 | 第84页 |
| ·软件环境 | 第84页 |
| ·实验测试结果 | 第84-88页 |
| ·CMV 的结果输出 | 第85-87页 |
| ·FADM 的结果输出 | 第87-88页 |
| ·实验结果对比与分析 | 第88-92页 |
| ·实验结果对比 | 第88-89页 |
| ·实验结果分析 | 第89-91页 |
| ·评估结果 | 第91-92页 |
| ·小结 | 第92-93页 |
| 结论 | 第93-96页 |
| 参考文献 | 第96-106页 |
| 致谢 | 第106-108页 |
| 附录 A 攻读硕士学位期间所参与的项目 | 第108页 |
