可信机制逆向分析平台的设计与实现
| 表目录 | 第1-8页 |
| 图目录 | 第8-9页 |
| 摘要 | 第9-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第11-19页 |
| ·课题的研究背景 | 第11-12页 |
| ·课题的研究意义 | 第12页 |
| ·国内外研究现状 | 第12-15页 |
| ·可信计算研究现状 | 第12-14页 |
| ·软件逆向分析研究现状 | 第14-15页 |
| ·论文的研究内容 | 第15-16页 |
| ·论文的组织结构 | 第16-19页 |
| 第二章 可信计算与抽象解释程序分析基础理论 | 第19-27页 |
| ·可信计算基础理论 | 第19-21页 |
| ·可信计算的定义 | 第19页 |
| ·可信计算平台 | 第19-21页 |
| ·TCG 软件栈 | 第21-23页 |
| ·TCG 软件栈的功能 | 第21页 |
| ·TCG 软件栈的架构 | 第21-23页 |
| ·抽象解释程序分析基础理论 | 第23-26页 |
| ·抽象解释的一些术语 | 第23-25页 |
| ·抽象解释的组成部分 | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 可信机制逆向分析平台的总体设计 | 第27-39页 |
| ·可信机制逆向分析平台的总体架构 | 第27-28页 |
| ·可信机制逆向分析平台的总体设计 | 第28-31页 |
| ·中间表示模块的设计 | 第28-29页 |
| ·运行时刻环境分析模块的设计 | 第29-30页 |
| ·数据结构还原模块的设计 | 第30-31页 |
| ·可信机制特征库的建立 | 第31-38页 |
| ·TSS 功能模型的建立 | 第31-33页 |
| ·TPM 缓存密钥管理机制 | 第33-34页 |
| ·保护存储机制 | 第34-35页 |
| ·认证会话机制 | 第35-37页 |
| ·主流TSS 架构分析 | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 第四章 中间表示模块的设计与实现 | 第39-45页 |
| ·SAIR 的语法和语义 | 第39-42页 |
| ·SAIR 的语法 | 第39-40页 |
| ·SAIR 的形式语义 | 第40-41页 |
| ·SAIR 含有过程的扩展 | 第41页 |
| ·标志位的处理 | 第41-42页 |
| ·基于SAIR 的控制结构分析 | 第42-44页 |
| ·SAIR 控制结构的分析函数 | 第42-43页 |
| ·SAIR 控制结构的分析算法 | 第43-44页 |
| ·本章小结 | 第44-45页 |
| 第五章 运行时刻环境分析模块的设计与实现 | 第45-59页 |
| ·可执行程序抽象存储域的建立 | 第45-47页 |
| ·存储模型的抽象 | 第45-47页 |
| ·抽象存储模型中基本变量的表示 | 第47页 |
| ·程序运行时刻环境的描述 | 第47-52页 |
| ·抽象存储模型中变量取值域的定义 | 第47-49页 |
| ·值集的定义 | 第49-51页 |
| ·程序运行时刻环境的抽象表示 | 第51-52页 |
| ·程序运行时刻环境的分析 | 第52-58页 |
| ·数据流方程的建立 | 第52页 |
| ·指令的抽象迁移函数 | 第52-54页 |
| ·算法的具体实现 | 第54-55页 |
| ·循环约束条件的判定 | 第55-56页 |
| ·分析举例 | 第56-57页 |
| ·提高分析精度的方法 | 第57-58页 |
| ·本章小结 | 第58-59页 |
| 第六章 数据结构还原模块的设计与实现 | 第59-71页 |
| ·数据结构还原关键问题分析 | 第59-60页 |
| ·基于可信接口的数据结构还原 | 第60-63页 |
| ·TSS 的数据类型分析 | 第60-61页 |
| ·TSS 的函数接口分析 | 第61页 |
| ·函数调用约定的处理 | 第61-63页 |
| ·基于语义的数据结构还原 | 第63-67页 |
| ·原理分析 | 第63页 |
| ·关键技术分析 | 第63-65页 |
| ·基于程序运行时刻环境的数据结构还原 | 第65-67页 |
| ·数据结构的前后向传播 | 第67-70页 |
| ·SAIR 指令的数据流信息 | 第67页 |
| ·du 链和ud 链的求解算法 | 第67-70页 |
| ·本章小结 | 第70-71页 |
| 第七章 测试与分析 | 第71-79页 |
| ·测试概述 | 第71页 |
| ·测试环境 | 第71页 |
| ·测试对象 | 第71页 |
| ·测试目标 | 第71页 |
| ·功能测试 | 第71-77页 |
| ·测试内容 | 第71-72页 |
| ·SAIR 转化的测试 | 第72-73页 |
| ·代码控制结构分析的测试 | 第73-74页 |
| ·数据结构还原模块的测试 | 第74-76页 |
| ·主流TSS 逆向分析结果 | 第76-77页 |
| ·测试结果分析 | 第77页 |
| ·本章小结 | 第77-79页 |
| 结束语 | 第79-81页 |
| 参考文献 | 第81-84页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第84-85页 |
| 致谢 | 第85页 |
