可信计算中基于属性的认证协议改进方案

doi:10.3969/j.issn.1000-3428.2011.06.041

计算机工程 ›› 2011, Vol. 37 ›› Issue (6): 118-120.doi: 10.3969/j.issn.1000-3428.2011.06.041

可信计算中基于属性的认证协议改进方案

钟翔，沈为君

(复旦大学软件学院，上海 201203)

出版日期:2011-03-20 发布日期:2011-03-29
作者简介:钟翔(1983－)，男，硕士研究生，主研方向：密码学，信息安全；沈为君，硕士研究生

Improved Scheme of Property-based Attestation Protocol in Trusted Computing

ZHONG Xiang, SHEN Wei-jun

(School of Software, Fudan University, Shanghai 201203, China)

Online:2011-03-20 Published:2011-03-29

摘要/Abstract

摘要： 可信计算中的一般认证协议完全依赖平台系统配置，因此，在平台软件和系统频繁升级的情况下协议会失效。为解决上述问题，对基于属性的认证协议进行改进，结合不可锻造零知识协议、提交协议和盲签名体制，使改进协议具有更高的安全性。分析结果证明，改进方案可以避免原认证协议的安全隐患，安全性得到提高，计算量仅略有增加。

关键词: 零知识协议, 可信计算, 不可锻造性, 基于属性的认证协议

Abstract: General attestation protocol relies entirely on platform configuration, and it fails when platform updates software and hardware configuration frequently. To overcome the problem, this paper presents an improved property-based attestation protocol scheme, employing cryptographic tools such as non-malleable zero-knowledge protocol, commitment protocol and blind signature scheme. Analysis proves that the protocol can solve the exiting problem with better security, while computing cost only increases by a negligible amount.

Key words: zero-knowledge protocol, trusted computing, non-malleablity, property-based attestation protocol

中图分类号:

TP309.2

钟翔, 沈为君. 可信计算中基于属性的认证协议改进方案[J]. 计算机工程, 2011, 37(6): 118-120.

ZHONG Xiang, CHEN Wei-Jun. Improved Scheme of Property-based Attestation Protocol in Trusted Computing[J]. Computer Engineering, 2011, 37(6): 118-120.

[1]	何旺宇, 王中华, 李亚晖. 基于VTCM的分布式可信度量方法[J]. 计算机工程, 2020, 46(8): 223-227,234.
[2]	王勇,张雨菡,洪智,文茹,樊成阳,王鹃. 基于TPM 2.0的内核完整性度量框架[J]. 计算机工程, 2018, 44(3): 166-170,177.
[3]	胡计鹏,谭励,杨明华,张亚明. 一种基于可信密码模块的用户行为度量方法[J]. 计算机工程, 2017, 43(5): 121-128.
[4]	刘智臣. 具有可信计算架构的安全操作系统实现方法[J]. 计算机工程, 2015, 41(9): 164-167.
[5]	李宏宇，付东来. 一种改进的组签名平台配置远程证明机制[J]. 计算机工程, 2014, 40(5): 99-102.
[6]	徐明迪，杨连嘉. 嵌入式实时操作系统可信计算技术研究[J]. 计算机工程, 2014, 40(1): 130-133.
[7]	谷伟, 朱学永. 基于可信计算和HIP的Web数据库安全模型[J]. 计算机工程, 2013, 39(3): 63-66.
[8]	付东来, 彭新光, 陈够喜, 杨秋翔. 一种高效的平台配置远程证明机制[J]. 计算机工程, 2012, 38(7): 25-27.
[9]	宗涛. 基于可信计算的结构性安全模型设计与实现[J]. 计算机工程, 2012, 38(20): 89-92.
[10]	杨蓓, 吴振强, 符湘萍. 基于可信计算的动态完整性度量模型[J]. 计算机工程, 2012, 38(2): 78-81.
[11]	杨明华, 陶灵姣, 杨斌, 杨银刚, 程宾. 高可信容错计算机系统设计与应用研究[J]. 计算机工程, 2012, 38(15): 237-239,243.
[12]	李兆斌, 康志荣, 池亚平, 方勇. 基于AS联盟与信誉机制的域间安全路由协议[J]. 计算机工程, 2012, 38(14): 112-115.
[13]	杨文思, 张斌, 于爱民. 基于流量特征的可信网络系统设计与实现[J]. 计算机工程, 2012, 38(12): 115-117.
[14]	冯聿梦. 一种基于可信计算技术的电子投票方案[J]. 计算机工程, 2012, 38(06): 1-6.
[15]	闫建红, 彭新光. 基于混合加密的可信软件栈数据封装方案[J]. 计算机工程, 2012, 38(06): 123-125.

可信计算中基于属性的认证协议改进方案

Improved Scheme of Property-based Attestation Protocol in Trusted Computing

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

Metrics

本文评价

推荐阅读 10