内容简介
本书是国际上可信计算领域出版的第一本专著，它从理论到实践，给出了该领域的技术发展脉络、关键设计技术和应用。本书从可信计算平台需要解决的问题和相关需求出发，以作者亲自领导的一个可信计算平台实例（IBM 4758安全协处理器）的研发为主线，对可信计算平台的体系结构、设计和验证等关键技术进行了系统阐述，并且介绍了作者基于流行的TCG／TCPATPM芯片进行的前沿性实验工作和当前可信计算技术发展的一新方向。本书并不局限于单一平台和相关规范的介绍，而足着眼于整个技术体系，力图从理论到实践给读者以全面的知识。
本书可以作为计算机、通信、信息安全、密码学等专业的研究生和本科生的教材，也可供从事相关专业的教学、科研和工程技术人员参考。本书对从事可信计算平台设计、开发以及从事总体设计的人员来说也是一本难得的好书。
作者简介
姓名：(美)史密斯
作者简介：
作品：《英语阅读高手(5)》 《生命中最重要的:如何将个人和组织的价值发挥到极致》 《十二宫》 《中国人德行》 《西尔格德心理学》 《现代通信电路(第二版)》 《可信计算机平台:设计与应用 高等院校信息安全专业系列教材》 《西尔格德心理学》 姓名：(美)史密斯|译者:冯登国//徐震//张立武
作者简介：
作品：《可信计算机平台:设计与应用 高等院校信息安全专业系列教材》 姓名：(美)SeanW.mith
作者简介：
作品：《可信计算机平台:设计与应用 高等院校信息安全专业系列教材》 姓名：(美) Sean W. Smith著
作者简介：
作品：《可信计算机平台:设计与应用 高等院校信息安全专业系列教材》
目录
第1章 引论
1.1 信任与计算
1.2 可信计算平台的实例
1.3 设计与应用
1.4 本书结构
第2章 动机说明
2.1 属性
2.2 基本用途
2.3 基本用途实例
2.4 放置和利益
2.5 TCP的放置实例
2.6 观点辩论
2.7 进一步的阅读材料
第3章 攻击
3.1 物理攻击
3.2 软件攻击
3.3 旁通道分析
3.4 未记录的功能
3.5 擦除数据
3.6 系统环境
3.7 防御策略
3.8 进一步的阅读材料
第4章 研究基础
4.1 应用和集成
4.2 体系结构
4.3 启动
4.4 美国国防部及相关部门
4.5 进一步的阅读材料
第5章 设计中的挑战
5.1 背景
5.2 障碍
5.3 需求
5.4 技术选择
5.5 进一步的阅读材料
第6章 平台体系结构
6.1 概述
6.2 清除秘密信息
6.3 秘密信息的起源
6.4 软件威胁
6.5 代码的完整性
6.6 代码的加载
6.7 总结
6.8 后续内容
6.9 进一步的阅读材料
第7章 对外认证
7.1 问题
7.2 理论
7.3 设计和实现
7.4 进一步的阅读材料
第8章 验证
8.1 验证过程
8.2 验证策略
8.3 安全属性的形式化描述
8.4 形式化验证
8.5 其他验证工作
8.6 反思
8.7 进一步的阅读材料
第9章 应用案例研究
9.1 基本构造模块
9.2 增强型Web服务器
9.3 权限管理
9.4 私有信息保护
9.5 其他项目
9.6 经验
9.7 进一步的阅读材料
第10章 TCPA/TCG
10.1 基本结构
10.2 对外认证
10.3 物理攻击
10.4 应用
10.5 实验
10.6 TPM 1.2 的变化
10.7 进一步的阅读材料
第11章 与TCPA/TCG有关的实验
11.1 预期的属性
11.2 生命周期不匹配
11.3 体系结构
11.4 实现经历
11.5 应用：强化的Apache
11.6 应用：OpenCA
11.7 应用：隔离证明
1
北京市公安局丰台分局备案编号：1101080539 
