基于属性的自证实模型及其安全协议

摘要：

针对可信环境下被验证方需要向验证方发送其软硬件基本配置信息来证明其完整性而产生的攻击问题,给出一种基于虚拟机技术的属性自证实(PSA)模型及其安全协议,并对协议进行安全性分析.首先通过在被验证平台上建立一个可信虚拟机,然后由该虚拟机实现对被验证平台上其他组件的度量,并可靠地报告代表当前平台运行环境的安全属性给验证方.自证实方式可以提高通信的安全性,并且减少维护独立可信第三方时所需的开销;使用基于属性的远程证明方式,能够提高被验证方的安全性:安全协议引入了TPM的不可迁移密钥特性来防止假冒攻击的发生.

关键词：远程证明、可信计算、属性证明

所属期刊栏目：47

分类号：TP309(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863the National High-Tech Research and Development Plan of China under Grant 2007AA01Z438200;2008年西安电子科技大学计算机网络与信息安全教育部重点实验室开放课题2008CNIS-06

在线出版日期：2011-06-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：110-113,148