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

• 作者: 何恩 卿昱 周洁 郝平
• 来源期刊: 中国电子科学研究院学报
• 学科: 工学
• 关键词: 远程证明 基于身份 安全协议
• 年，卷（期）: 2010,（3）
• 页码范围: 286-290
• 分类号: TP309
• 字数: 3927字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5692.2010.03.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何恩		12	124	6.0	11.0
2	卿昱		19	198	7.0	14.0
3	周洁		8	81	2.0	8.0
4	郝平		8	52	4.0	7.0