开放的网络环境下的分布式应用越来越普及，为人们的工作生活带来了极大的便利，但同时其中的关键数据的安全处理以及个人隐私的保护也给应用以及相关的计算平台提出了更高的安全需求。可信计算技术通过在计算平台上集成可信密码模块构建可信的计算环境，利用远程匿名证明达到平台隐私信息的保护并实现了远程的信任传递，这在一定程度上可以解决分布式系统中参与方之间的相互信任问题。本课题以可信密码模块TCM为基础，研究基于可信密码模块TCM的自动匿名认证和隐私保护技术，并在随机预言模型（Random Oracle Model）或标准模型下证明协议的安全性。主要包括：基于ECC的匿名证明协议研究;属性证书的准确抽象，管理与签发;基于TCM及属性证书的远程自动协商证明;匿名证明协议的可证明安全等问题的研究。