可信计算(网络空间安全学科系列教材)

本书讲述可信计算的理 论、关键技术和典型应用， 重点介绍中国可信计算的技 术创新与成果。 本书分为4篇共12章。第 1篇为可信计算基础，包含 第1章，主要介绍可信计算 的概念、可信计算的发展、 可信计算的关键技术。第2 篇为可信计算关键技术，包 含第2～7章，主要介绍可信 平台模块、可信度量技术、 可信软件栈、可信PC、远 程证明、可信网络连接等内 容。第3篇为可信计算新技 术，包含第8～11章，主要 介绍可信嵌入式系统、可信 云计算基础设施关键技术、 软件动态保护与度量技术、 可信执行环境技术。第4篇 为对可信计算和信息安全的 新认识，包含第12章，主要 介绍对可信计算和信息安全 的一些认识与感悟。 内容的先进性和实用性 是本书的一个突出特点。书 中许多创新成果都是作者团 队与企业合作完成的。企业 实现了产业化，成果得到了 实际应用，确保了书中内容 的先进性和实用性。本书内 容丰富，论述清楚，语言精 练，结合实例，通俗易懂。 书中每章都安排了一定的习 题和实验。书末给出了参考 文献，供有兴趣的读者进一 步研究参考。 本书适合作为高等学校 网络空间安全、密码学、计 算机科学与技术、信息与通 信工程及相关专业本科生和 研究生教材，也适合作为相 关领域科研技术人员的技术 参考书。

第1篇 可信计算基础 第1章 可信计算概论 1.1 信息时代与信息安全 1.2 信息安全的一些基本观点 1.3 可信计算的概念 1.3.1 人类社会中的信任 1.3.2 信任理论 1.3.3 计算机系统中的可信 1.3.4 可信计算的概念 1.4 可信计算的发展 1.4.1 国外可信计算的发展 1.4.2 中国可信计算的发展 1.5 可信计算的关键技术 1.5.1 信任根 1.5.2 度量存储报告机制 1.5.3 可信平台模块 1.5.4 可信计算平台 1.5.5 可信软件栈 1.5.6 远程证明 1.5.7 可信网络连接 1.5.8 密码技术 习题 第2篇 可信计算关键技术 第2章 可信平台模块 2.1 可信平台模块TPM 1.2 2.1.1 组成结构 2.1.2 启动、状态及所有者管理 2.1.3 密码配置 2.1.4 密钥管理及证书体系 2.1.5 对象访问授权 2.1.6 TPM 1.2的不足 2.2 可信平台模块TPM 1.2 2.2.1 组成结构 2.2.2 实体与Hierarchy 2.2.3 命令与审计 2.2.4 密钥管理 2.2.5 授权与会话 2.2.6 上下文管理 2.2.7 TPM 2.0技术特点 2.3 可信密码模块（TCM） 2.3.1 组成结构 2.3.2 密码配置与简化密钥管理 2.3.3 统一对象使用授权协议及物理现场授权 2.3.4 扣国TCM实现实例 2.3.5 可信平台控制模块 2.3.6 T（2M标准修订 2.4 本章小结 习题 实验 第3章 可信度量技术