一种基于系统动作的非确定不干扰模型

• 作者: 刘铎 司天歌 戴一奇 谭智勇
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 计算机网络安全 不干扰模型 访问控制
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 科研通信
• 页码范围: 2205-2209
• 页数: 5页
• 分类号: TP393.08
• 字数: 4913字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2008.11.022

摘要

本文提出一种基于系统动作的非确定不干扰模型,把不干扰关系拓展到系统动作之间,并表明信息流的产生同时依赖于发起者和观察者的动作,可通过允许发起者动作而阻止观察者动作的方法避免信息流动.最后设计了一个多级安全系统,并为排除隐蔽信道提供了一种新的方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	戴一奇	清华大学计算机科学与技术系	99	1118	19.0	29.0
2	谭智勇	清华大学计算机科学与技术系	7	63	4.0	7.0
3	司天歌	清华大学计算机科学与技术系	15	186	8.0	13.0
4	刘铎	清华大学计算机科学与技术系	18	165	8.0	12.0