一个基于进程保护的可信终端模型

• 作者: 谭良 陈菊
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 无干扰理论 进程保护 可信终端 可信根
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 115-117,150
• 分类号: TP309
• 字数: 6228字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.04.024

摘要

针对计算机终端是网络系统中安全风险的根源问题之一,提出了一种新的基于进程保护的可信终端模型.该模型通过进程静态、动态保护和进程间无干扰来判定系统的可信性.进程静态保护的主要功能是确保进程代码和辅助文件的完整性,进程动态保护的主要功能是防止进程运行的相关数据被篡改,进程间无干扰的功能是基于无干扰理论判断进程交互的合法性.理论分析结果表明,该模型的可信性与基于可信根的无干扰可信模型等价.但该模型不仅有效克服了基于可信根的无干扰可信模型中的可信传递函数check()的不合理性,而且将系统的状态、动作具体化,使得该模型更直观、具体,更容易理解,与实际的终端系统更相符.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谭良	四川师范大学计算机科学学院四川省可视化计算与虚拟现实重点实验室	97	1102	16.0	29.0
2	陈菊	四川师范大学计算机科学学院四川省可视化计算与虚拟现实重点实验室	5	47	3.0	5.0