| 摘要 | 第1-7页 |
| ABSTRACT | 第7-9页 |
| 第一章 引言 | 第9-16页 |
| ·课题的研究背景 | 第9-10页 |
| ·课题的研究意义 | 第10页 |
| ·国内外相关领域研究现状 | 第10-13页 |
| ·可信计算研究现状 | 第10-12页 |
| ·虚拟机研究现状 | 第12页 |
| ·基于可信计算的安全体系结构研究现状 | 第12-13页 |
| ·课题的主要工作 | 第13-14页 |
| ·论文的组织结构 | 第14-16页 |
| 第二章 相关技术研究 | 第16-33页 |
| ·TCG可信计算技术 | 第16-24页 |
| ·可信计算基本思想及其实现机制 | 第16-18页 |
| ·可信计算平台及其关键部件 | 第18-20页 |
| ·可信计算平台中的密码和证书体系 | 第20-21页 |
| ·可信计算平台的基本功能 | 第21-24页 |
| ·Xen虚拟机技术 | 第24-32页 |
| ·虚拟机技术概述 | 第24-25页 |
| ·Xen系统架构 | 第25-26页 |
| ·Xen相关机制和原理 | 第26-30页 |
| ·Xen的性能比较与分析 | 第30-32页 |
| ·可信计算与Xen相结合的应用分析 | 第32页 |
| ·本章小结 | 第32-33页 |
| 第三章 TV/Xen系统体系结构设计 | 第33-54页 |
| ·系统设计需求 | 第33-34页 |
| ·系统总体设计目标 | 第34-35页 |
| ·系统总体框架设计 | 第35-36页 |
| ·系统核心层TXen的设计 | 第36-40页 |
| ·TCB相关概念 | 第36-37页 |
| ·TV/Xen系统中的TCB定义 | 第37页 |
| ·TXen层的设计 | 第37-40页 |
| ·TXen层中关键部件的设计 | 第40-51页 |
| ·VCAC子系统的设计 | 第40-47页 |
| ·ISM子系统的设计 | 第47-51页 |
| ·系统的安全性分析 | 第51-53页 |
| ·本章小结 | 第53-54页 |
| 第四章 TV/Xen系统实现中的若干关键技术研究 | 第54-88页 |
| ·TSS相关问题研究 | 第54-60页 |
| ·TSS运行机制研究 | 第54-58页 |
| ·TSS数据保护功能的应用实例 | 第58-60页 |
| ·vTPM在TV/Xen系统中的实现 | 第60-67页 |
| ·vTPM的结构 | 第60-62页 |
| ·vTPM新增功能的实现 | 第62-67页 |
| ·TV/Xen系统可信启动过程的研究与实现 | 第67-76页 |
| ·操作系统启动的一般过程 | 第67-68页 |
| ·GRUB工作流程及代码分析 | 第68-72页 |
| ·TrustedGRUB对TV/Xen系统可信启动的支持 | 第72-75页 |
| ·TV/Xen系统的可信启动过程 | 第75-76页 |
| ·移植相关问题研究 | 第76-81页 |
| ·问题的提出 | 第76页 |
| ·基于属性的密封和证明方法 | 第76-77页 |
| ·二进制度量值到属性值的转换方法研究 | 第77页 |
| ·TV/Xen系统中基于属性方法的设计与实现 | 第77-79页 |
| ·对现有vTPM移植协议的改进 | 第79-81页 |
| ·针对TCG完整性度量机制的TOCTOU攻击的抵御方法研究 | 第81-87页 |
| ·问题的提出 | 第81页 |
| ·对可信代码的三种攻击方式 | 第81-83页 |
| ·Xen的内存隔离和保护机制 | 第83-84页 |
| ·TV/Xen系统中对TOCTOU攻击抵御方法的设计与实现 | 第84-87页 |
| ·本章小结 | 第87-88页 |
| 第五章 总结与展望 | 第88-90页 |
| ·工作总结 | 第88页 |
| ·下一步工作展望 | 第88-90页 |
| 参考文献 | 第90-94页 |
| 致谢 | 第94页 |
