首页 > 《中国电子科学研究院学报》 > 2010年3期 > 一个基于身份的可信平台远程证明方案

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

打印

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

DOI 5joo7kr3jv/882984

作者周洁;郝平;卿昱;何恩

机构地区不详

出处《中国电子科学研究院学报》 2010年3期

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

分类 [电子电信][物理电子学]

出版日期 2010年03月13日（中国Betway体育网页登陆平台首次上网日期，不代表论文的发表时间）