可信计算系统设计和分析

当前，随着“普适计算”时代的到来，数字计算系统已经渗透到社会的各个领域。对“可信计算和可信计算系统”的设计理论和实践环节的深入研究和开拓必将成为当今数字系统研究的热点。

本书共有12章，可以分成两大部分。第一部分为对可信性各类属性和基本知识的详细介绍和分析（第1-4章）。其中包括对软硬件系统的故障、错误和失效的定义及性质的形式化描述，并对软硬件系统中的故障、错误作了分析和比较； 对可信性的6个属性的定义以及评估和计算方法等进行了讨论。第二部分则是在对可信性的主要属性做深入研究的基础上，阐述了提高系统可信性的基本理论、主要技术和实施方法及其他相关知识（第5~12章）。其中详细分析和讨论软硬件系统的开发生命周期各个阶段应采取的各种可信性策略和措施，阐明了避错技术、防错技术、排错技术、可测性设计技术（包括冗余与编码技术）、容错设计技术以及故障安全技术等在可信计算系统中的理论、方法和应用实例。

本书吸收了国内外关于可信性理论和技术方面的大量研究成果，是一本集数字计算软硬件系统于一体、可信性理论和实践并重的著作，适应作为高等院校计算机科学、电子信息、通信工程以及微电子等相关专业高年级本科生和研究生的教材，也可供与可信计算有关的专业人士学习参考。