基于协议逆向分析的智能移动终端通信数据主动取证研究
| 摘要 | 第4-5页 |
| ABSTRACT | 第5-6页 |
| 第1章 绪论 | 第13-19页 |
| 1.1 研究背景 | 第13-14页 |
| 1.2 研究现状 | 第14-16页 |
| 1.3 研究内容及意义 | 第16-17页 |
| 1.4 论文组织结构 | 第17-19页 |
| 第2章 相关理论与技术 | 第19-33页 |
| 2.1 手机取证概述 | 第19-23页 |
| 2.1.1 手机取证难点 | 第19页 |
| 2.1.2 手机取证基本原则 | 第19-20页 |
| 2.1.3 手机取证流程 | 第20-21页 |
| 2.1.4 静态取证和动态取证 | 第21-23页 |
| 2.2 Android系统架构及应用程序 | 第23-26页 |
| 2.2.1 Android系统架构 | 第23-24页 |
| 2.2.2 Android应用程序 | 第24-26页 |
| 2.3 协议逆向 | 第26-32页 |
| 2.3.1 网络协议 | 第26页 |
| 2.3.2 协议逆向内容 | 第26-28页 |
| 2.3.2.1 消息格式 | 第26-27页 |
| 2.3.2.2 状态机 | 第27-28页 |
| 2.3.3 协议逆向技术分类 | 第28-31页 |
| 2.3.3.0 报文序列分析 | 第28-30页 |
| 2.3.3.1 指令执行序列分析 | 第30-31页 |
| 2.3.3.2 逆向技术比较 | 第31页 |
| 2.3.4 加密协议处理 | 第31-32页 |
| 2.4 本章小结 | 第32-33页 |
| 第3章 基于协议逆向的取证信息提取 | 第33-59页 |
| 3.1 动态污点分析 | 第33-41页 |
| 3.1.1 概述 | 第33-35页 |
| 3.1.2 PIN简介 | 第35-37页 |
| 3.1.3 实现方法 | 第37-41页 |
| 3.2 会话分析 | 第41-47页 |
| 3.2.1 消息分离 | 第41页 |
| 3.2.2 消息格式推断 | 第41-47页 |
| 3.2.2.1 分隔符提取 | 第41-43页 |
| 3.2.2.2 关键字提取 | 第43-45页 |
| 3.2.2.3 定位长度域和目标域 | 第45-47页 |
| 3.3 消息聚类 | 第47-50页 |
| 3.3.1 聚类方法 | 第47-49页 |
| 3.3.2 消息格式校准 | 第49-50页 |
| 3.4 状态机推断 | 第50-58页 |
| 3.4.1 构造增广前缀树(APTA) | 第51-52页 |
| 3.4.2 状态标记 | 第52-53页 |
| 3.4.3 状态机化简 | 第53-55页 |
| 3.4.4 状态机比对 | 第55-58页 |
| 3.5 本章小结 | 第58-59页 |
| 第4章 主动取证系统的设计与实现 | 第59-77页 |
| 4.1 主动取证系统架构 | 第59-60页 |
| 4.2 主动取证系统功能模块设计 | 第60-68页 |
| 4.2.1 取证代理模块 | 第60-63页 |
| 4.2.1.1 污点源动态识别子模块 | 第60-61页 |
| 4.2.1.2 轨迹跟踪子模块 | 第61-63页 |
| 4.2.1.3 轨迹存储子模块 | 第63页 |
| 4.2.2 证据分析模块 | 第63-67页 |
| 4.2.2.1 污点传播分析子模块 | 第63-64页 |
| 4.2.2.2 消息格式解析子模块 | 第64-67页 |
| 4.2.2.3 状态机推断子模块 | 第67页 |
| 4.2.2.4 状态机比对子模块 | 第67页 |
| 4.2.3 证据存储模块 | 第67-68页 |
| 4.3 系统功能测试 | 第68-76页 |
| 4.3.1 测试环境 | 第68-69页 |
| 4.3.2 功能测试 | 第69-76页 |
| 4.3.2.1 ES文件浏览器 | 第69-72页 |
| 4.3.2.2 邮箱应用程序 | 第72-76页 |
| 4.4 本章小结 | 第76-77页 |
| 第5章 总结与展望 | 第77-79页 |
| 5.1 本文工作总结 | 第77页 |
| 5.2 未来工作展望 | 第77-79页 |
| 参考文献 | 第79-83页 |
| 致谢 | 第83-85页 |
| 攻读硕士学位期间的科研成果 | 第85页 |
