论文部分内容阅读
基于可信计算的远程证明的方法中，二进制证明方法能反映系统平台当前配置的完整性状态，是动态的，但容易暴露隐私．而基于属性证书的证明将系统平台的配置信息隐藏，具有匿名性，但是静态的．将二进制方法嵌入到属性证书方法中，提出了一种动态属性可信证明（Dynamic Property TrustedAttestation DPTA）的协议．验证者通过模拟计算PCR值，并与证书中的PCR值进行比较，证明示证者的当前平台满足一定的安全属性，解决了暴露隐私和静态问题．实验表明这种证明方法能保护平台隐私，克服基于属性证书的静