支持进程代码修改的非传递无干扰可信模型

摘要：

基于无干扰理论的可信模型要求进程在系统运行过程中始终不被修改，制约了可信计算平台的应用。针对该问题，扩展非传递无干扰理论，使其支持对安全域的修改，在此基础上提出一种基于非传递无干扰理论，且支持进程代码修改的可信模型，并在新理论框架下给出进程运行可信的条件，证明进程运行可信定理。分析结果表明，与现有可信模型相比，该模型在保证进程运行可信的同时允许对进程代码进行修改，提高了可信计算平台的实用性。

关键词：可信模型、非传递无干扰、代码修改、静态干扰、动态干扰、运行可信

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

资助基金：国家科技重大专项基金资助项目“新一代宽带无线移动通信网”2012ZX03002003

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

页数：共5页

页码：150-153,168