| 摘要 | 第1-12页 |
| Abstract | 第12-15页 |
| 第1章 绪论 | 第15-24页 |
| ·研究背景 | 第15-16页 |
| ·与科研项目的关系 | 第16-18页 |
| ·问题的提出 | 第18页 |
| ·设计目标 | 第18-19页 |
| ·研究思路 | 第19页 |
| ·研究意义和实用价值 | 第19-20页 |
| ·论文主要贡献 | 第20-21页 |
| ·论文的组织结构 | 第21-24页 |
| 第2章 可信计算平台相关研究工作 | 第24-43页 |
| ·可信与可信计算平台 | 第24-26页 |
| ·可信计算平台相关技术 | 第26-33页 |
| ·安全协处理器IBM 4758 | 第26-27页 |
| ·安全增强型CPU与Intel LT、TXT | 第27-30页 |
| ·操作系统可信与Micro NGSCB和Vistal | 第30-31页 |
| ·国际可信计算组织TCG | 第31-32页 |
| ·国内可信计算研究 | 第32-33页 |
| ·TCG可信计算平台分析 | 第33-41页 |
| ·可信平台模块TPM | 第33-35页 |
| ·TCG可信平台密码方案存在的问题 | 第35-39页 |
| ·TCG软件栈TSS | 第39-40页 |
| ·TCG信任链 | 第40-41页 |
| ·TCG可信平台的局限性总结 | 第41-43页 |
| 第3章 无干扰可信模型研究 | 第43-56页 |
| ·基本概念 | 第43-44页 |
| ·基本无干扰策略模型 | 第44-46页 |
| ·基于进程的无干扰可信模型 | 第46-56页 |
| ·基本符号定义 | 第47-48页 |
| ·进程运行可信 | 第48-54页 |
| ·关于可信验证函数 | 第54页 |
| ·结论 | 第54-56页 |
| 第4章 可信计算平台体系结构 | 第56-80页 |
| ·可信平台体系结构 | 第56-62页 |
| ·体系结构相关研究 | 第56-58页 |
| ·基于密码的可信平台体系结构 | 第58-59页 |
| ·体系结构特点 | 第59-62页 |
| ·可信管道 | 第62-68页 |
| ·完整性度量管道 | 第63-65页 |
| ·平台身份证实管道 | 第65-66页 |
| ·可信存储管道 | 第66-68页 |
| ·可信管道的无干扰属性描述与证明 | 第68-74页 |
| ·基本定义 | 第68-72页 |
| ·完整性度量管道的无干扰分析 | 第72-74页 |
| ·可信管道是非传递无干扰的实例 | 第74-79页 |
| ·可信管道形式化描述 | 第74-76页 |
| ·可信管道模型分析 | 第76-79页 |
| ·可信管道模型与无干扰安全策略模型的对比 | 第79-80页 |
| 第5章 可信平台密码方案 | 第80-100页 |
| ·可信平台密码模型 | 第80-81页 |
| ·TPCM中的非对称密码算法改进 | 第81-86页 |
| ·ECC与RSA的比较 | 第82-84页 |
| ·TPCM中ECC的实现 | 第84-86页 |
| ·TPCM的密钥管理 | 第86-88页 |
| ·TPCM密钥种类 | 第86-87页 |
| ·密钥迁移 | 第87-88页 |
| ·TPCM证书方案 | 第88-91页 |
| ·TCG证书配置 | 第88页 |
| ·TPCM证书配置改进方案 | 第88-91页 |
| ·证书改进方案的安全分析 | 第91页 |
| ·TPCM数据授权管理 | 第91-100页 |
| ·TCG授权协议分析 | 第91-94页 |
| ·TPCM授权协议方案 | 第94-97页 |
| ·BAN逻辑分析 | 第97-98页 |
| ·TPCM授权协议安全性分析 | 第98-100页 |
| 第6章 可信平台控制模块 | 第100-108页 |
| ·TCG可信平台模块分析 | 第100-101页 |
| ·TPCM设计方案 | 第101-104页 |
| ·TPCM组成 | 第101-102页 |
| ·TPCM固件 | 第102-103页 |
| ·TPCM工作状态图 | 第103-104页 |
| ·TPCM作为主动设备与CPU相连 | 第104页 |
| ·TPCM主动度量方案 | 第104-106页 |
| ·扩展度量模块 | 第106-108页 |
| 第7章 可信基础支撑软件 | 第108-120页 |
| ·可信软件栈 | 第108-110页 |
| ·TBSS实现模型 | 第110-114页 |
| ·服务提供模块 | 第112页 |
| ·上下文管理器 | 第112页 |
| ·可信参考监控器RTM | 第112-113页 |
| ·参数块生成器 | 第113页 |
| ·设备驱动库 | 第113-114页 |
| ·可信参考监视器TRM | 第114-120页 |
| ·证书配置 | 第114页 |
| ·密码功能 | 第114-115页 |
| ·文件访问控制协议 | 第115-120页 |
| 第8章 结论 | 第120-123页 |
| ·论文取得的研究成果 | 第120-121页 |
| ·论文进一步研究工作 | 第121-123页 |
| 参考文献 | 第123-131页 |
| 作者简历 攻读博士学位期间完成的主要工作 | 第131-133页 |
| 致谢 | 第133页 |