摘要： 基于可信计算中的二进制系统完整性测量模型，增加证书权威和可信属性权威，提出一种属性远程证明系统完整性测量模型，并利用谓词逻辑证明其可信性。引入属性远程证明的新特点，应用可信属性权威实现二进制指纹到属性证书的转换。该模型在保证原有模型可信性的基础上，具有更强的适用性和可行性。
关键词:
可信计算,
远程证明,
谓词逻辑,
完整性测量,
可信属性权威
Abstract: Based on the original binary systems integrity measurement model in trusted computing technology, this paper adds certificate authority and trusted property authority, designs new integrity measurement model of property remote attestation system, and proves credibility of the new model using predicate logic.Combining new features which are introduced in property remote attestation, this model converts binary fingerprints to property certificate using trusted property authority, as a basis of ensuring the previous model creditability, makes it have better applicability and feasibility.
Key words:
trusted computing,
remote attestation,
predicate logic,
integrity measurement,
trusted property authority
中图分类号:
崔艳莉, 沈昌祥. 属性远程证明中完整性测量的可信性证明[J]. 计算机工程, 2010, 36(21): 11-13,16.
CUI Yan-Chi, CHEN Chang-Xiang. Credibility Attestation of Integrity Measurement in Property Remote Attestation[J]. Computer Engineering, 2010, 36(21): 11-13,16.