基于TPM/TCM的平台完整性证明
可信计算的核心是TPM。在TCG规范中定义的证明是一种报告计算机平台配置寄存器中完整性度量值的机制。在证明过程中,TPM使用保存在其中的RSA签名算法中的私钥签名PCR的值。
基于二进制的远程证明
即TPM、TCM安全芯片直接证明用二进制hash值表示的平台完整性值。最基本的证明方法,其他方法都是在此基础上派生的。
缺点:
1.每一个组件的新版本拥有不同的二进制代码,它们有不同的散列值,导致存在大量的配置。
2.因为平台配置的测量是在系统启动时进行的,这种证明方式只能提供静态的证明,不能保证运行时的完整性。
3.示证者提供的PCR值很大程度上暴露了其自身的配置信息,极不安全。
4.整个平台更新后,所有的系统校验参考值都需要重新配置,因此不能向前兼容。
基于属性的远程证明
针对TCG远程证明模型中直接将系统配置散列值直接传递给验证方验证的缺点,
可信计算是一种以硬件安全机制为基础的主动防御技术,它通过建立隔离执行的可信赖的计算环境,保障计算平台敏感操作的安全性,实现了对可信代码的保护,达到从体系结构上全面增强系统和网络信任的目的。学术界与工业界普遍认为可信计算的技术思路是通过在硬件平台上引入可信计算平台模块