可信计算是当前信息安全领域的研究热点，证明问题是可信计算最为重要的问题之一。因为可信基于证明，只有证明才能在不可信的环境中建立信任关系。国内外可信计算技术的迅速发展也促使对于证明问题研究的不断深入，这些研究工作所涉及的范围非常广泛，从计算平台到应用程序，从整体架构到具体协议，从上层系统到底层硬件都被包含到了可信证明的研究中。TCG提出的远程证明(Remote Attestation)的概念使得对于证明问题的研究就成为信息安全领域中前沿热点问题。在TCG规范中，证明(Attestation)是可信计算平台的三个基础特征之一。针对平台身份和平台配置状态的验证，TCG将证明分为两种形式，其一是针对平台身份的证明(Attestation of Identity)。一个平台可以通过提供与平台相关的证书来证明平台是可以被信任的实体。背书证书是平台相关证书的一种，其作用是提供平台嵌入有合法的TPM的证据。另外一种是对平台配置信息的证明，称为对平台的证明(Attestation of Platform)，是一种报告计算平台配置寄存器(Platform Configruation Rigester，PCR)中完整性度量值的机制。在TCG规范中所描述的证明过程中，TPM使用保存在其中的RSA签名算法中的私钥签名PCR值，并且将度量报告一起发送给质询方。质询方使用公钥获取PCR值，并且利用度量报告重新计算PCR值，然后与获得的PCR值进行比较，以此来证明计算平台的完整性是否被破坏。然而，TCG架构下的证明方案不能够适应复杂的计算环境，阻碍了可信计算在分布式环境中的发展。随后，针对于TCG证明方案存在的问题先后有大批科研工作者进行了大量研究工作，这些努力将证明问题从简单的基于二级制的证明方法逐步发展为更加适合复杂环境下的基于动态特征的证明问题研究。对于证明问题，美国国家安全局(National Security Agency，简称NSA)也高度重视，针对当前TCG中证明方案缺乏灵活性等不足，NSA在技术报告《Attestation：Evidence and Trust》中重新定义了证明方案的框架和原则，给出了设计证明系统的参考方案.