基于无干扰模型的操作系统结构化研究

• 作者: 孙瑜 张兴 胡俊 陈亚莎
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 操作系统 结构化 无干扰 进程环境
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 体系结构
• 页码范围: 303-306
• 分类号: TP309
• 字数: 4654字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.04.069

摘要

操作系统结构化是目前安全领域的一大难题.以无干扰模型为基础,提出了一种基于分层隔离的进程环境安全模型,给出了进程环境安全的定义和条件.然后对系统结构化要求进行了形式化的描述,并证明通过提出的结构化方法可以获得安全的进程环境.最后结合经典无干扰理论,将本模型由进程环境扩展为适用于整个系统安全的模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡俊	北京工业大学计算机学院	19	66	5.0	7.0
2	张兴	北京工业大学计算机学院	18	185	7.0	13.0
3	孙瑜	北京工业大学计算机学院	2	2	1.0	1.0
5	陈亚莎	海军工程大学信息与电气工程学院	4	7	2.0	2.0