可信计算平台中信任链的可信赖性度量指标与方法研究

摘要

随着人们对可信计算的需求日益迫切，互联网，金融，电信，广电等许多丰富的应用也都要求可信安全计算环境。事实上，目前很多这类计算是处于不可信的环境之中的，或者说可信计算平台的成熟程度还不足以支持这些丰富多彩的应用，这是一个日益严峻的问题。 本文通过对可信计算平台和度量理论的研究，首先提出可信计算平台的度量属性，度量子属性，度量指标；其次，搞清楚一般可信(安全)平台的软硬件架构；最后，应用形式化的方法来对可信平台进行度量。 本文主要采用了以下研究方法：第一：理论引申法；第二：抽象分析法；第三：形式化的分析方法；第四：综合的分析法；并得出了以下创新成果：第一，找出了可信计算平台的八个度量属性／子属性；第二，找出了可信计算平台的八个度量元；第三，将形式化证明的方法用于表示可信平台的度量。

目录

文摘

英文文摘

声明

第一章绪论

1.1. 写作背景

1.2. 主要论点与创新

1.3. 研究方法

1.4. 论文结构

第二章可信度量理论的研究

2.1. 概述

2.2. 度量理论

2.3. 可信度量体系

2.4. 可信度量属性

2.5.度量指标

第三章可信计算平台理论的研究

3.1. 概述

3.2. 可信计算平台

3.2.1. 可信计算平台的种类

3.1.2. 硬件架构

3.2.3.软件架构

3.3. 可信软件生存周期

3.4. 可信计算平台生产

3.4.1. 工厂初始化

3.4.2. 重新初始化

3.5. 可信计算平台软件的安装

3.5.1. 可信软件安装体系

3.5.2. 软件权威的认证

3.5.3.公钥认证

3.5.4. 共享秘密密钥认证

3.5.5.正常安装

3.5.6.紧急安装

3.6. 可信计算平台软件流程

3.6.1. 可信计算平台软件总体流程

3.6.2. Miniboot0层

3.6.3. Miniboot1层

3.6.4. OS层

3.6.5. 应用层

3.7. 可信计算平台的对外认证

3.7.1.认证体系

3.7.2. 形式化证明

3.7.3. 术语

3.7.4.定义

3.7.5.依赖函数

3.7.6.可靠性

3.7.7.完备性

3.7.8. 同时具备可靠性和完备性

3.7.9.OA管理器

3.8. 可信计算平台硬件

3.8.1.密码加速器

3.8.2. 硬件棘齿

3.9. 信任链

第四章可信计算平台及信任链的度量指标的研究

4.1. 可信计算平台生产过程中的度量

4.1.1. 工厂初始化度量

4.1.2. 重新初始化度量

4.2. 可信计算平台安装过程中的度量

4.2.1. 公钥认证度量

4.2.2. 共享秘密密钥度量

4.2.3. 正常安装度量

4.3. 可信计算平台软件流程的度量

4.4.　 可信计算平台对外认证的度量

4.4.1.TCP对外认证可靠性的度量

4.4.2.TCP对外认证完备性的度量

4.4.3.TCT对外认证同时具备可靠和完备性的度量

4.5. 可信计算平台硬件的度量

4.5.1. 硬件加速器度量

4.5.2. 硬件棘齿度量

4.6. 可信计算平台信任链的度量

4.6.1.TCP信任链可靠性度量

4.6.2. TCP信任链完备性度量

4.6.3.TCP信任链可靠性和完备性度量

4.7. 度量指标综合列表

第五章结束语

5.1.论文工作总结

5.2. 问题和展望

参考文献

附录

致谢