基于过程间分析的Android程序隐私泄露检测的研究
摘要 | 第3-5页 |
ABSTRACT | 第5页 |
1 绪论 | 第9-16页 |
1.1 研究背景和意义 | 第9-10页 |
1.2 国内外研究现状及分析 | 第10-13页 |
1.2.1 动态分析检测技术的研究现状 | 第10-11页 |
1.2.2 静态分析检测技术的研究现状 | 第11-12页 |
1.2.3 主动防御技术的研究现状 | 第12页 |
1.2.4 相关商业软件发展现状 | 第12-13页 |
1.3 研究目标和内容 | 第13-14页 |
1.4 论文结构 | 第14页 |
1.5 本章小结 | 第14-16页 |
2 相关技术综述 | 第16-28页 |
2.1 Android 操作系统 | 第16-22页 |
2.1.1 Android 操作系统结构 | 第16-17页 |
2.1.2 Android 应用程序结构 | 第17-19页 |
2.1.3 Android 的安全机制 | 第19-20页 |
2.1.4 Android 的隐私泄露 | 第20-22页 |
2.2 静态检测技术 | 第22-27页 |
2.2.1 控制流分析 | 第22-24页 |
2.2.2 数据流分析 | 第24-26页 |
2.2.3 污点分析 | 第26-27页 |
2.3 本章小结 | 第27-28页 |
3 ANDROID 程序隐私泄露检测技术的研究 | 第28-40页 |
3.1 检测技术框架 | 第28-29页 |
3.2 伪代码的生成和中间转换 | 第29-30页 |
3.3 程序分析入口的识别和提取 | 第30-31页 |
3.4 控制流图和调用信息图的生成 | 第31-33页 |
3.5 过程间数据流信息的合并 | 第33-34页 |
3.6 反射分析 | 第34-37页 |
3.7 Android 隐私泄露污点分析检测 | 第37-39页 |
3.8 本章小结 | 第39-40页 |
4 ANDROID 程序隐私泄露检测工具的开发 | 第40-45页 |
4.1 分析检测工具的需求建模 | 第40-41页 |
4.2 检测工具静态逻辑视图 | 第41-42页 |
4.3 检测工具动态逻辑视图 | 第42-44页 |
4.4 本章小结 | 第44-45页 |
5 实验 | 第45-62页 |
5.1 反射标准化的实验 | 第45-50页 |
5.1.1 实验一 | 第45-48页 |
5.1.2 实验二 | 第48-50页 |
5.2 隐私泄露检测的实验 | 第50-60页 |
5.2.1 实验一 | 第51-58页 |
5.2.2 实验二 | 第58-60页 |
5.3 性能开销分析 | 第60-61页 |
5.4 本章小结 | 第61-62页 |
6 总结与展望 | 第62-65页 |
6.1 本文工作小结 | 第62-63页 |
6.2 展望 | 第63-65页 |
参考文献 | 第65-68页 |
致谢 | 第68-69页 |
攻读学位期间发表的学术论文 | 第69-71页 |