期刊导航

论文摘要

基于无干扰理论的完整性度量模型

Noninterference-based Integrity Measurement Model

作者:邱罡(西安电子科技大学 CNIS教育部重点实验室);王玉磊(南阳理工学院 网络中心);周利华(西安电子科技大学 CNIS教育部重点实验室)

Author:Qiu Gang(The CNIS Key Lab. of the Education Ministry, Xidian Univ.);Wang Yulei(Network Info. Center, Nanyang Inst. of Technol.);Zhou Lihua(The CNIS Key Lab. of the Education Ministry, Xidian Univ.)

收稿日期:2009-06-08          年卷(期)页码:2010,42(4):117-120

期刊名称:工程科学与技术

Journal Name:Advanced Engineering Sciences

关键字:信息流;无干扰;可信计算;远程证明;完整性度量

Key words:information flow; noninterference; trusted computing; remote attestation; integrity measurement

基金项目:国家自然科学基金资助项目(6063320);河南省科技攻关计划资助项目(102102210432);南阳市科技攻关项目(2007G0803)

中文摘要

针对现有可信计算完整性度量方案不能反映程序执行时动态特征的问题,提出一种基于系统操作无干扰的完整性度量模型,该模型借鉴信息流的无干扰理论,通过分析进程操作的完整性及进程间完整性的传递,从动态的角度对系统的运行完整性进行度量。对该模型进行形式化的描述和分析表明,该模型直观、易懂,且不局限于某种特定的实现方式。

英文摘要

In order to solve the problem that the present integrity measurement scheme of TCG did not reflect runtime behaviors accurately, a noninterference integrity measurement model based on actions of system processes was proposed. By using the basic idea of noninterference theory as reference, the process operation integrity and the interprocess integrity transmission were analyzed, hence the runtime integrity of system can be measured from the dynamic point of view. Formal description and analysis showed that the model is intuitionistic, well understandable and can be realized by any method which meets the requirements of the model.

关闭

Copyright © 2020四川大学期刊社 版权所有.

地址:成都市一环路南一段24号

邮编:610065