可信计算·理论与实践

书籍目录

第1章 绪论1.1 国内外研究现状1.1.1 安全芯片研究现状1.1.2 终端平台信任技术研究现状1.1.3 平台间信任扩展技术研究现状1.1.4 可信网络研究现状1.1.5 可信计算测评研究现状1.2 我们的主要工作1.2.1 可信终端信任构建1.2.2 远程证明1.2.3 可信网络连接1.2.4 可信计算应用1.2.5 可信计算测评1.3 问题和挑战1.4 本书的结构参考文献第2章 可信平台模块2.1 设计目标2.2 TPM安全芯片2.2.1 概述2.2.2 平台数据保护2.2.3 身份标识2.2.4 完整性存储与报告2.2.5 资源保护机制2.2.6 辅助功能2.3 TCM安全芯片2.3.1 主要功能2.3.2 主要命令接口2.4 移动可信模块2.4.1 MTM的主要特点2.4.2 MTM功能与命令2.5 相关新技术进展2.5.1 动态可信度量根2.5.2 虚拟技术2.6 小结参考文献第3章 信任链构建技术3.1 信任根3.1.1 信任根概述3.1.2 可信度量根3.1.3 可信存储根和可信报告根3.2 信任链3.2.1 信任链的提出3.2.2 信任链分类3.2.3 信任链比较3.3 静态信任链构建系统3.3.1 可信引导信任链3.3.2 操作系统层信任链构建系统3.3.3 ISCAS信任链系统3.3.4 操作系统信任链系统3.3.5 网络信任3.4 动态信任链构建系统3.4.1 操作系统引导层信任链3.4.2 操作系统层信任链系统3.5 虚拟平台信任链3.6 小结参考文献第4章 可信软件栈4.1 可信软件栈架构及功能4.1.1 总体架构4.1.2 安全芯片驱动程序4.1.3 安全芯片驱动程序库4.1.4 可信计算核心服务层4.1.5 可信服务应用层第5章 可信计算平台 5．1 概述5．1．1 发展现状5．1．2 基本架构5．2 个人计算机5．2．1 规范5．2．2 产品与应用5．3 服务器5．3．1 规范5．3．2 产品与应用5．4 可信移动平台5．4．1 规范 5．4．2 通用架构5．4．3 可信移动平台实现5．4．4 应用5．5 虚拟可信平台5．5．1 需求与规范5．5．2 通用架构5．5．3 虚拟可信平台实现5．5．4 应用5．6 可信计算平台应用5．7 小结 参考文献第6章 可信计算测评6．1 可信平台模块合规性测试6．1．1 测试模型6．1．2 测试方法6．1．3 测试实施6．2 可信计算安全机制分析6．2．1 基于模型检验的分析6．2．2 基于定理证明的分析6．3 可信计算评估与认证6．3．1 评估标准6．3．2 TPM与TNC认证6．4 可信计算平台综合测试分析系统6．4．1 体系结构与系统功能6．4．2 TPM／TCM合规性测试6．4．3 密码算法与随机数测试6．4．4 安全芯片与协议模拟仿真6．4．5 推广应用6．5 小结参考文献第7章 远程证明技术7．1 远程证明原理7．1．1 技术基础7．1．2 协议模型7．1．3 接口实现7．2 远程证明研究比较7．3 平台身份证明7．3．1 Privacy CA实名身份证明7．3．2 平台直接匿名证明7．3．3 研究展望7．4 平台完整性证明7．4．1 基于二进制的远程证明7．4．2 基于属性的远程证明7．4．3 研究展望7．5 远程证明系统和应用7．6 小结参考文献第8章 可信网络连接 8．1 可信网络连接的产生背景8．1．1 网络接人控制简介8．1．2 商用网络接入控制解决方案8．1．3 现有方案的缺陷和TNC的产生动机8．2 可信网络接入的体系结构与工作原理8．2．1 标准体系8．2．2 总体结构8．2．3 工作流程8．2．4 TNC的优势与局限8．3 可信网络连接扩展研究8．3．1 研究概况8．3．2 Trust@FHH8．3．3 ISCAS可信网络接人系统8．4 可信网络连接应用8．5 小结参考文献附录A 密码学基础A．1 分组密码算法A．1．1A ESA．1．2 SMS4A．2 公钥加密算法A．2．1 RSAA．2．2 椭圆曲线公钥加密算法A．2．3 SM2公钥加密算法A．3 数字签名算法A．3．1 ECDSA数字签名算法A．3．2 SM2数字签名A．4 Hash函数A．4．1 SHA一256杂凑算法A．4．2 SM3杂凑算法A．5 密钥交换协议A．5．1 MQV密钥交换协议A．5．2 SM2密钥交换协议参考文献

编辑推荐

冯登国等专著的《可信计算--理论与实践》主要介绍可信计算技术的研究背景、发展现状、关键核心技术和应用技术，内容包括TPM、TCM和移动模块等可信平台模块，信任根、静态信任链构建系统、动态信任链构建系统和虚拟平台信任链等信任链构建技术，TSS、TSM和可信应用开发等可信软件栈技术，可信PC、可信服务器、可信移动平台等。

 可信计算·理论与实践下载