可信计算是一种新的计算机体系结构。远程证明是可信计算平台的重要功能之一,其目的就是允许两个节点在进行交互之前判断对方平台的可信状态。TCG架构下的证明方法存在性能低、可扩展性差以及容易暴露平台隐私的不足,尤其在对平台运行时环境属性的证明,对应用程序的行为进行度量,是可信远程证明面临的主要难题。本文针对可信远程证明从(1)配置文件、安全策略文件等相关数据的加密存储效率；(2)暴露隐私和静态问题；(3)平台安全属性证明之后的行为证明三方面进行探讨。对可信软件栈中数据密封功能进行改进,提出动态属性证明方法,利用度量行为信息基进行行为验证,并对可信远程证明方法应用到数字版权管理(DRM)中进行了设计。本文的主要工作和创新点如下：(1)针对可信计算软件栈中的密封和解封所使用的时间将会随着数据量的增长而线性增长,仅适用于比较小的数据量。提出使用混合密钥机制的思想改进可信密码模块功能函数。改进后的方法有效减少加密的时间,特别是对较大的数据量进行密封,以较小的性能代价保障了用户数据的安全。通过一个基于可信计算的数据密封的程序,从应用程序端、TCS端、TPM端三个方面,纵向说明可信计算运行的过程。(2)二进制方法和基于属性证书的证明是两种远程证明方法。前者验证远程计算平台的完整性,能反映系统实时的状态,后者能隐藏平台软件和硬件的配置信息,是静态的。结合这两种方法的优点,提出了一种基于动态属性(Dynamic Property Attestation DPA)的证明协议。验证者通过比较证书中的平台配置寄存器值和实时得到的PCR值,检验当前示证者是否满足一定的属性要求。实验表明这种证明方法是有效的、保密的和可行的。(3)针对远程挑战者验证系统平台的安全之后,还需要识别对方的行为可信,本文利用Merkle哈希树计算时间短的特性,提出将Merkle哈希树应用到基于可信平台的行为动态验证中。在验证过程中只验证客户端的root_hash,有效地保护了客户端的隐私,还可根据行为的不同粒度设计度量行为信息基。实验表明,该模型能提高时间性能,验证方式灵活,保护平台隐私,克服了静态证明特点,确保了平台应用软件运行时可信。(4)可信远程证明的理论可以应用到DRM,对内容服务器(CS)、许可证服务器(RS)和用户三者之间的证明进行设计。提出它们相互的身份证明使用直接匿名证明方法；在RS和用户的远程证明中,将DH(Diffie-Hellman)密钥协议引入可信计算；在RS对DRM控制器的安全属性证明中使用DPA的远程证明方法；对内容下载、权利协商和权利包的相关协议进行了一个整体的设计,安全分析指出其能保证DRM内容和权利对象(Rights Object, RO)的完整性和机密性、防止对CS和RS的攻击、具有不可否认性。本文围绕可信计算的动态远程认证进行研究,从可信软件栈、动态属性证明、行为信息基及其在DRM中的应用进行探讨、分析和改进。理论上,对模型进行抽象、形式化表示和安全性分析。实践上,搭建可信计算平台进行验证和分析,为基于可信计算的远程认证的设计和实现提供了新的途径。