可保护平台配置隐私的安全远程证明研究

项目名称： 可保护平台配置隐私的安全远程证明研究

项目编号： No.61402367

项目类型： 青年科学基金项目

立项/批准年度： 2014

项目学科： 自动化技术、计算机技术

项目作者： 肖跃雷

作者单位： 西安邮电大学

项目金额： 24万元

中文摘要： 可信计算是近年来信息安全领域的研究热点，而远程证明问题是可信计算的关键问题之一。远程证明是指向一个远程实体证明本地平台的配置信息。目前对远程证明的研究主要集中于远程证明模型研究、远程证明方法研究和远程证明相关安全协议研究。但是，现有远程证明模型和方法要么不能保护平台配置隐私，要么实现复杂度较高。而对远程证明相关安全协议的研究还处于初级阶段，还需要进一步研究，特别是在平台配置隐私保护和安全性方面。 为了解决这些问题，本项目拟基于TPM为仲裁者来建立可保护平台配置隐私的远程证明模型；通过对软件行为学的理论与实验研究来建立基于软件行为特征的、可保护平台配置隐私的远程证明方法；建立可证明安全的远程证明相关安全协议分析理论，以及针对远程证明相关安全协议的扩展串空间模型，并在此基础上结合本项目所提出的远程证明模型和远程证明方法，设计安全的远程证明相关协议，从而实现可保护平台配置隐私的安全远程证明。

中文关键词： 可信计算；远程证明；隐私保护；安全协议；协议分析

英文摘要： Trusted Computing is a hot research topic in information security domain at recently, and remote attestation is one of the important components of Trusted Computing, i.e. attesting the platform configuration information of the local platform to a remote e

英文关键词： trusted computing；remote attestation；privacy protection；security protocol；protocol analysis