属性远程证明中完整性测量的可信性证明

摘要：

基于可信计算中的二进制系统完整性测量模型,增加证书权威和可信属性权威,提出一种属性远程证明系统完整性测量模型,并利用谓词逻辑证明其可信性.引入属性远程证明的新特点,应用可信属性权威实现二进制指纹到属性证书的转换.该模型在保证原有模型可信性的基础上,具有更强的适用性和可行性.

关键词：可信计算、远程证明、谓词逻辑、完整性测量、可信属性权威

所属期刊栏目：36

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

资助基金：国家"973"计划基金资助项目2007CB311100

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

页数：共4页

页码：11-13,16