开放网络环境下的属性远程证明

摘要：

为解决基于完整性验证的可信平台证明机制中存在的诸多问题,给出了一个基于平台属性的远程证明抽象模型,借助可信第三方实现平台属性的有效验证.并使用逻辑安全语言对该模型进行了形式化描述和可行性验证.这种新的可信平台证明方式丰富了平台证明的安全语义,并且更适用于公平、开放的网络环境.

关键词：可信计算、属性、远程证明、逻辑安全语言

所属期刊栏目：28

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

资助基金：国家高技术研究发展计划863计划2007AA01Z425;国家重点基础研究发展计划973计划2007CB316502

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

页数：共3页

页码：77-79