声明
第1章 绪 论
1.1.1 课题背景
1.1.2 研究的意义
1.2 国内外研究现状与关键问题
1.3 主要研究内容和要解决的关键问题
1.4 论文的组织结构
第2章 理论与技术分析
2.1 Android基础
2.1.1 Android操作系统介绍
2.1.2 Android组件
2.1.3 配置文件分析
2.1.4 组件间通信机制
2.2 Android系统安全机制
2.2.1 Android沙箱机制
2.2.2 权限访问
2.2.3 应用程序签名
2.3.1 Soot插桩工具
2.3.2 APKTool
2.3.3 静态污点分析
2.4 本章小结
第3章 细粒度的数据泄露检测与防护模型的设计
3.1.1 问题的提出
3.1.2 细粒度数据泄露检测与防护的关键点
3.2 概念分析与理论说明
3.2.1 概念分析
3.2.2 原理说明
3.3.1 模型实现原则
3.3.2 模型总体框架
3.3.3 模型层次结构设计
3.4 组件间路径检测的方法
3.4.1 预处理方法
3.4.2 组件调用路径分析
3.5 控制流图的构建方法
3.5.1 创建控制流图关键点
3.5.2 控制流图的构建方法设计
3.6.1 细粒度数据泄露检测方法的确定
3.6.2 正向细粒度静态污点分析
3.6.3 逆向细粒度静态污点分析
3.7 细粒度数据泄露防护的方法
3.8 本章小结
第4章 细粒度的数据泄露检测与防护模型的实现技术
4.1 模型功能模块设计
4.2 跨应用细粒度的隐私数据的泄露示例
4.3 组件间路径检测的实现
4.3.1 实现流程
4.3.2 关键技术
4.3.3 关键函数描述
4.3.4 数据结构
4.4 控制流图的实现
4.4.1 APK文件的处理逻辑
4.4.2 实现流程
4.4.3 关键技术
4.4.4 关键函数描述
4.5 细粒度数据泄露检测的实现
4.5.1 实现流程
4.5.2 关键技术
4.5.3 关键函数描述
4.5.4 数据结构
4.6 细粒度数据泄露防护的实现
4.6.1 实现流程
4.6.2 关键技术
4.6.3 关键函数描述
4.7 模型的实现
4.8 本章小结
第5章 模型应用与分析
5.1 环境配置
5.2 实验用例
5.2.1 触发程序组
5.2.2 商业应用检测集
5.3 Source与Sink列表
5.4 功能结果验证
5.4.1 组件间调用路径检测结果
5.4.2 细粒度数据泄露检测结果
5.4.3 细粒度数据泄露防护结果
5.5 实验有效性
5.5.1商业验证
5.5.2 触发程序验证
5.5.3有效性分析
5.6 本章小结
结论
参考文献
攻读硕士学位期间承担的科研任务与主要成果
致谢
燕山大学;