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

• 作者: 徐甫
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 可信模型 非传递无干扰 代码修改 静态干扰 动态干扰 运行可信
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 安全技术
• 页码范围: 150-153,168
• 页数: 5页
• 分类号: TP309
• 字数: 5242字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2013.11.034

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐甫		5	26	4.0	5.0