Vista可信机制功能模型研究

论文摘要

传统的计算机体系结构因注重开放性、易用性及效率而忽略了安全因素,Windows Vista通过引入大量的可信计算技术增强了系统的安全性。因此,针对Vista中涉及可信计算技术的安全机制开展逆向分析,为操作系统安全性评估提供了必要的技术支持。本文的研究目标是,研究可信机制功能模型的建立和描述的方法,建立Vista可信机制的功能模型。本文在研究已有软件逆向工程研究方法和逆向分析工具的基础上,对Vista可信机制逆向分析的关键技术进行深入研究。提出了一种以功能模型为中心的Vista可信机制的逆向分析和漏洞发现的方法,并将重点置于二进制代码功能模型的建立和描述方法的研究。设计了一种基于通用的XML的存储结构,用于可信机制层次功能模型的各层信息的存储和转换。设计了IDA反汇编工具的相关插件,实现了从二进制代码中自动抽取和保存函数依赖关系、函数CFG图和层次功能模型的功能。文章利用本文提出的逆向功能模型建立和分析方法,分析了Vista中的可信机制。从Vista中定位和抽取了实现这些机制的代码,对他们的实现方式、工作的基本流程和关键函数的实现过程进行了描述。最后建立了Vista的代码完整性验证功能模型、信任链功能模型以及全卷加密安全存储功能模型,实现了本文的研究目标。

论文目录

• 表目录
• 图目录
• 摘要
• ABSTRACT
• 第一章 绪论
• 1.1 课题研究背景
• 1.1.1 可信计算技术在Vista 中的应用
• 1.1.2 漏洞自动发现技术的不足
• 1.2 课题研究意义
• 1.3 课题研究现状
• 1.4 课题研究内容
• 1.5 论文结构
• 第二章 相关技术研究
• 2.1 功能模型的建立技术
• 2.1.1 基于源代码的逆向建模技术
• 2.1.2 基于二进制代码的逆向建模技术
• 2.2 可信计算
• 2.2.1 可信计算的定义和发展
• 2.2.2 可信计算平台
• 2.3 Vista 中的可信计算技术
• 2.3.1 微软的NGSCB
• 2.3.2 Vista 中的可信机制
• 2.4 漏洞发现技术
• 2.5 本章小结
• 第三章 二进制代码功能模型研究方法
• 3.1 以功能模型为中心的逆向分析和漏洞发现技术概述
• 3.2 Vista 可信机制功能模型的建立技术
• 3.2.1 程序代码定位和抽取
• 3.2.2 功能模型的建立方法
• 3.2.3 软件代码特征的提取
• 3.3 可信机制功能模型的描述
• 3.3.1 功能结构的XML 描述
• 3.3.2 函数信息的XML 描述
• 3.3.3 函数依赖关系的XML 描述
• 3.3.4 函数内CFG 图的XML 描述
• 3.4 建立功能模型相关技术的实现
• 3.4.1 静态函数依赖图自动提取
• 3.4.2 静态函数依赖图的呈现
• 3.4.3 CFG 图自动提取
• 3.4.4 功能模型的生成
• 3.5 本章小结
• 第四章 Vista 中可信机制功能模型建立
• 4.1 Vista 中代码完整性验证机制功能模型的建立
• 4.1.1 完整性验证机制
• 4.1.2 启动过程中代码完整性验证机制分析
• 4.1.3 运行过程中代码完整性验证机制分析
• 4.1.4 代码完整性验证机制基本功能模型
• 4.2 Vista 中信任链建立机制功能模型的建立
• 4.2.1 信任链机制
• 4.2.2 安全引导机制分析
• 4.2.3 网络访问保护机制分析
• 4.2.4 信任链建立机制基本功能模型
• 4.3 Vista 中全卷加密的安全存储机制功能模型的建立
• 4.3.1 全卷加密的安全存储机制
• 4.3.2 全卷加密密钥保护机制逆向分析
• 4.3.3 全卷加密的安全存储机制基本功能模型
• 4.4 本章小结
• 第五章 总结与展望
• 5.1 论文工作总结
• 5.2 进一步工作展望
• 参考文献
• 作者简历 攻读硕士学位期间完成的主要工作