| 一个基于身份的可信平台远程证明方案 |
| |
| 引用本文： | 周洁,郝平,卿昱,何恩. 一个基于身份的可信平台远程证明方案[J]. 中国电子科学研究院学报, 2010, 5(3) |
| |
| 作者姓名： | 周洁 郝平 卿昱 何恩 |
| |
| 作者单位： | 中国电子科技集团公司第30研究所,成都,610041;中国电子科技集团公司第30研究所,成都,610041;中国电子科技集团公司第30研究所,成都,610041;中国电子科技集团公司第30研究所,成都,610041 |
| |
| 摘 要： | 可信计算已经从前几年的大造舆论、广泛宣传,转入到实现阶段.但是当前可信计算还存在一些问题需要解决,比如可信计算平台远程证明(以下简称远程证明)的实现.首先说明了基于PKI的远程证明存在的问题,然后针对这些问题,提出基于身份的远程证明方案.对新方案的优点和缺点进行了详细的分析,并设计了一个基于身份的远程证明协议,然后使用模型检测工具SPIN对其进行了形式化分析.
|
| 关 键 词： | 远程证明 基于身份 安全协议 |
Remote Attestation Scheme for the ID-Based Trusted Platform |
| |
| ZHOU Jie,HAO Ping,QING Yu,HE En. Remote Attestation Scheme for the ID-Based Trusted Platform[J]. Journal of China Academy of Electronics and Information Technology, 2010, 5(3) |
| |
| Authors: | ZHOU Jie HAO Ping QING Yu HE En |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
