| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-13页 |
| ·引言 | 第9-10页 |
| ·课题研究背景 | 第10页 |
| ·课题研究内容 | 第10-11页 |
| ·论文的主要工作与结构安排 | 第11-13页 |
| ·论文主要工作 | 第11页 |
| ·论文结构安排 | 第11-13页 |
| 第二章 可信计算 | 第13-23页 |
| ·可信计算的概念及产生背景 | 第13页 |
| ·可信计算的发展历史及沿革 | 第13-14页 |
| ·可信计算平台 | 第14-18页 |
| ·可信计算平台的特性 | 第14-15页 |
| ·可信计算平台的组成结构 | 第15-18页 |
| ·TPM的核心功能 | 第18-21页 |
| ·信任链的产生与完整性度量 | 第18-19页 |
| ·平台防护与数据安全 | 第19-21页 |
| ·论文中用到的加解密算法 | 第21-22页 |
| ·RSA加密 | 第21-22页 |
| ·Nyberg-Rueppel消息恢复签名 | 第22页 |
| ·本章小结 | 第22-23页 |
| 第三章 可信计算中的远程证明研究 | 第23-29页 |
| ·二进制远程证明方案 | 第23-25页 |
| ·二进制远程证明方案介绍 | 第23页 |
| ·二进制远程证方案的原理 | 第23-25页 |
| ·二进制远程证明方案的不足 | 第25页 |
| ·基于属性的远程证明方案 | 第25-27页 |
| ·基于代理的远程证明方案 | 第26-27页 |
| ·基于属性的远程证明方案 | 第27页 |
| ·基于模块属性证明方案的提出 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第四章 基于模块属性的远程证明协议 | 第29-37页 |
| ·模块属性远程证明的定义 | 第29页 |
| ·模块属性远程证明体系 | 第29-30页 |
| ·模块属性远程证明协议 | 第30-35页 |
| ·远程证明所需的安全等级 | 第30-31页 |
| ·远程证明协议 | 第31-35页 |
| ·本章小结 | 第35-37页 |
| 第五章 协议设计与实现 | 第37-51页 |
| ·实验环境搭建 | 第37-41页 |
| ·实验环境综述 | 第37页 |
| ·Trusted Plat form Module Emulator的安装与调试 | 第37-40页 |
| ·Java Trusted Software Stack的安装与调试 | 第40-41页 |
| ·协议原型模型的实现 | 第41-50页 |
| ·实验各组件简介 | 第41-45页 |
| ·模块获取属性签名的过程 | 第45-49页 |
| ·CA为属性证书加密的过程 | 第49页 |
| ·子群签名生成的过程及验证 | 第49-50页 |
| ·子群签名的验证过程 | 第50页 |
| ·本章小结 | 第50-51页 |
| 第六章 总结与展望 | 第51-53页 |
| ·本文主要工作总结 | 第51-52页 |
| ·未来工作展望 | 第52-53页 |
| 参考文献 | 第53-57页 |
| 致谢 | 第57-59页 |
| 攻读学位期间发表的学术论文目录 | 第59页 |