Credibility Attestation of Integrity Measurement in Property Remote Attestation
Shen Chang-xiang · Jisuanji gongcheng · 2010
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.