| 属性远程证明中完整性测量的可信性证明 |
| |
| 引用本文： | 崔艳莉,沈昌祥.属性远程证明中完整性测量的可信性证明[J].计算机工程,2010,36(21):11-13,16. |
| |
| 作者姓名： | 崔艳莉 沈昌祥 |
| |
| 作者单位： | (1. 解放军信息工程大学电子技术学院，郑州 450004；2. 北京工业大学计算机科学与技术学院，北京 100022) |
| |
| 基金项目： | 国家"973"计划基金资助项目 |
| |
| 摘 要： | 基于可信计算中的二进制系统完整性测量模型，增加证书权威和可信属性权威，提出一种属性远程证明系统完整性测量模型，并利用谓词逻辑证明其可信性。引入属性远程证明的新特点，应用可信属性权威实现二进制指纹到属性证书的转换。该模型在保证原有模型可信性的基础上，具有更强的适用性和可行性。
|
| 关 键 词： | 可信计算 远程证明 谓词逻辑 完整性测量 可信属性权威 |
Credibility Attestation of Integrity Measurement in Property Remote Attestation |
| |
| CUI Yan-li,SHEN Chang-xiang.Credibility Attestation of Integrity Measurement in Property Remote Attestation[J].Computer Engineering,2010,36(21):11-13,16. |
| |
| Authors: | CUI Yan-li SHEN Chang-xiang |
| |
| Affiliation: | (1. Institute of Electronic Technology, PLA Information Engineering University, Zhengzhou 450004, China; 2. College of Computer Science, Beijing University of Technology, Beijing 100022, China) |
| |
| 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. |
| |
| Keywords: | trusted computing remote attestation predicate logic integrity measurement trusted property authority |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
