可信计算体系结构中的若干关键技术研究
| 摘要 | 第1-9页 |
| Abstract | 第9-11页 |
| 目录 | 第11-14页 |
| 图目录 | 第14-15页 |
| 表目录 | 第15-16页 |
| 第一章 导论 | 第16-33页 |
| ·引言 | 第16-17页 |
| ·可信计算相关研究 | 第17-29页 |
| ·可信计算的形成 | 第17-19页 |
| ·可信计算基本思想 | 第19-20页 |
| ·可信计算的组成 | 第20-23页 |
| ·可信计算的基本功能 | 第23-26页 |
| ·可信计算国外研究现状 | 第26-28页 |
| ·可信计算国内研究现状 | 第28-29页 |
| ·选题目的与意义 | 第29-30页 |
| ·研究内容和主要贡献 | 第30-31页 |
| ·论文组织结构 | 第31-33页 |
| 第二章 可信计算体系结构研究 | 第33-49页 |
| ·可信计算体系研究现状 | 第33-37页 |
| ·安全协处理器 | 第33-35页 |
| ·安全增强型CPU | 第35-36页 |
| ·操作系统可信 | 第36-37页 |
| ·当前研究中的问题 | 第37-38页 |
| ·可信计算双系统体系结构 | 第38-45页 |
| ·监控机思想的双系统 | 第38页 |
| ·主动的含义 | 第38-39页 |
| ·可信计算双系统体系结构概述 | 第39-41页 |
| ·基于主动度量的信任链 | 第41-43页 |
| ·可信系统软件 | 第43-45页 |
| ·进一步的分析 | 第45-48页 |
| ·改进的密码硬件芯片 | 第45-46页 |
| ·改进的信任链 | 第46页 |
| ·改进的系统软件 | 第46-47页 |
| ·改进的体系结构 | 第47-48页 |
| ·小结 | 第48-49页 |
| 第三章 基于主动度量的信任链模型研究 | 第49-70页 |
| ·信任链的研究背景 | 第49-50页 |
| ·TCG信任链的建立和问题 | 第50-57页 |
| ·信任链的基本思想 | 第50-51页 |
| ·TCG信任链建立的基本流程 | 第51-52页 |
| ·TCG证书与信任链 | 第52-55页 |
| ·TCG信任链面临的问题 | 第55-57页 |
| ·基于主动度量的信任链 | 第57-60页 |
| ·主动度量的含义、要求及特点 | 第57-58页 |
| ·基于主动度量的信任链建立 | 第58页 |
| ·简化的证书体系 | 第58-60页 |
| ·信任链形式化模型 | 第60-69页 |
| ·基本逻辑描述 | 第60-62页 |
| ·TCG信任链模型 | 第62-64页 |
| ·基于主动度量的信任链模型 | 第64-67页 |
| ·比较与分析 | 第67-69页 |
| ·小结 | 第69-70页 |
| 第四章 动态主动度量模型研究 | 第70-86页 |
| ·动态度量研究背景 | 第70-74页 |
| ·TCG动态度量研究 | 第70-72页 |
| ·其他研究现状 | 第72-73页 |
| ·当前研究面临的挑战 | 第73-74页 |
| ·动态主动度量设计思路 | 第74-76页 |
| ·动态主动度量模型 | 第76-81页 |
| ·基本定义 | 第76-79页 |
| ·定理证明 | 第79-81页 |
| ·实例分析 | 第81-84页 |
| ·分析与比较 | 第84-85页 |
| ·小结 | 第85-86页 |
| 第五章 可信计算兼容性问题研究 | 第86-116页 |
| ·兼容问题的提出 | 第86-87页 |
| ·密码方案的差异比较 | 第87-91页 |
| ·算法的差异 | 第87页 |
| ·密钥用途的差异 | 第87-88页 |
| ·密钥迁移的差异 | 第88-90页 |
| ·协议的差异 | 第90-91页 |
| ·兼容需求与目标 | 第91-98页 |
| ·度量兼容 | 第91-92页 |
| ·应用兼容 | 第92-95页 |
| ·平台兼容 | 第95-97页 |
| ·兼容目标 | 第97-98页 |
| ·面向可信计算应用软件的兼容模型 | 第98-104页 |
| ·研究背景 | 第98-99页 |
| ·设计思想 | 第99页 |
| ·接口兼容的形式化模型 | 第99-102页 |
| ·兼容性算法 | 第102-104页 |
| ·异构可信计算平台的信任模型 | 第104-110页 |
| ·异构平台的信任问题 | 第105页 |
| ·研究背景 | 第105-106页 |
| ·概念模型 | 第106-108页 |
| ·原型实现研究 | 第108-110页 |
| ·应用兼容软件栈研究 | 第110-115页 |
| ·软件栈框架体系 | 第110-112页 |
| ·设计方法 | 第112-113页 |
| ·应用兼容软件栈实现研究 | 第113-115页 |
| ·小结 | 第115-116页 |
| 第六章 可信计算双系统体系原型实现研究 | 第116-129页 |
| ·原型系统概述 | 第116-122页 |
| ·设计理念 | 第116页 |
| ·系统组成 | 第116-121页 |
| ·总体工作流程 | 第121-122页 |
| ·原型系统实现 | 第122-128页 |
| ·硬件实现 | 第122-124页 |
| ·可信系统软件实现 | 第124-128页 |
| ·小结 | 第128-129页 |
| 第七章 结束语 | 第129-131页 |
| ·总结 | 第129-130页 |
| ·进一步的工作 | 第130-131页 |
| 参考文献 | 第131-138页 |
| 攻读博士学位期间发表的论文 | 第138-139页 |
| 攻读博士学位期间参与或主持的科研工作 | 第139-140页 |
| 致谢 | 第140页 |
