目前,随着云计算、移动互联网平台、无线通信技术等互联网业务在全世界范围内飞速的发展和广泛的应用,这些应用为人们提供了巨大的便利和无穷的商机,一点点改变我们的生活,但是同时,也带来了种种网络安全问题,阻碍着互联网技术的进一步发展。在这样的背景下,可信计算作为一种能够将计算机安全等级由之前的软件级提高到硬件级应运而生了,该项技术能够在很大程度上提升互联网计算机隐私和防外界攻击性能的技术。远程证明作为可信计算中一个分支,重点解决了“信任”问题,即计算机之间在通信时候的相互认证问题。截止到目前为止,远程证明方案已经有很多种,主要有二进制远程证明方案、基于属性的远程证明方案和基于模块属性的远程证明方案。二进制远程证明方案来验证计算机可信度的原理是依托于可信平台中的平台配置信息PCR的。该方案验证起来虽然非常简单,然而却能够导致计算机在证明过程中软硬件信息被泄露。第二种方案通过利用将配置转换为属性来验证用户平台的属性证书是否正确,从而判断出用户平台是否可信。实时性差、属性证书可信度非常低是该方案的缺点。基于模块属性的远程证明方案虽然能够将证明的范围从平台范围缩小到模块范围,但是现有的基于模块属性的远程证明方案的安全性和效率都存在很多不足。本文正是以此为切入口,提出了一种改进的基于模块属性的远程证明协议,从而提高了基于模块属性的方案的效率和安全性。本文主要有以下三个方面的工作：1.对二进制远程证明方案、基于属性的远程证明方案和现有的基于模块属性的远程证明方案进行了总结和分析,并指出了方案的优势及缺陷。2.在现有的基于模块属性的远程证明方案的前提下,提出了一种改进的基于模块属性的远程证明协议,采用自认证公钥的签密算法将原有的签名然后加密的过程精简为签密过程,提高了方案的安全性和效率。3.针对该方案,构建并实现了一个原型模型,对各个模块的实现原理、过程及运行的效率分别进行了分析说明。