一个基于身份的可信平台远程证明方案

摘要：

可信计算已经从前几年的大造舆论、广泛宣传,转入到实现阶段.但是当前可信计算还存在一些问题需要解决,比如可信计算平台远程证明(以下简称远程证明)的实现.首先说明了基于PKI的远程证明存在的问题,然后针对这些问题,提出基于身份的远程证明方案.对新方案的优点和缺点进行了详细的分析,并设计了一个基于身份的远程证明协议,然后使用模型检测工具SPIN对其进行了形式化分析.

关键词：远程证明、基于身份、安全协议

所属期刊栏目：5

分类号：TP309(计算技术、计算机技术)

资助基金：可信计算中基于标识的安全认证机制研究国家863计划2008AA01Z405

在线出版日期：2010-09-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：286-290