基于可信芯片的平台身份证明方案研究

TP309; 对基于可信第三方的平台身份证明方案进行了研究,提出了一种用证书和令牌标识可信计算平台并直接使用令牌证明平台身份的方案.与其他方案相比,该方案降低了证明过程的计算量和通信量,并且验证方验证平台身份的同时能够确认平台状态可信,获得了更高的安全性.利用协议组合逻辑证明了方案满足平台身份验证正确性和匿名性.原型系统实验结果表明,该方案平台身份证明效率高,特别适用于无线网络环境....

Full description

Saved in:
Bibliographic Details
Published in通信学报 Vol. 35; no. 8; pp. 95 - 106
Main Authors 张倩颖, 冯登国, 赵世军
Format Journal Article
LanguageChinese
Published 中国科学院大学,北京100049%中国科学院软件研究所,北京,100190 2014
中国科学院软件研究所,北京100190
Subjects
protocol composition logic
platform identity attestation
协议组合逻辑
匿名性
anonymity
可信计算
平台身份证明
trusted computing
Online AccessGet full text
ISSN1000-436X
DOI10.3969/j.issn.1000-436x.2014.08.013

Cover

More Information
Summary:TP309; 对基于可信第三方的平台身份证明方案进行了研究,提出了一种用证书和令牌标识可信计算平台并直接使用令牌证明平台身份的方案.与其他方案相比,该方案降低了证明过程的计算量和通信量,并且验证方验证平台身份的同时能够确认平台状态可信,获得了更高的安全性.利用协议组合逻辑证明了方案满足平台身份验证正确性和匿名性.原型系统实验结果表明,该方案平台身份证明效率高,特别适用于无线网络环境.
ISSN:1000-436X
DOI:10.3969/j.issn.1000-436x.2014.08.013