|
|||||
|
|
| 基于无干扰模型的操作系统结构化研究 | |
| 引用本文： | 孙瑜,胡俊,陈亚莎,张兴.基于无干扰模型的操作系统结构化研究[J].计算机科学,2011,38(4):303-306. |
| 作者姓名： | 孙瑜 胡俊 陈亚莎 张兴 |
| 作者单位： | 1. 北京工业大学计算机学院,北京,100022;信息网络安全公安部重点实验室,上海,201204 2. 北京工业大学计算机学院,北京,100022 3. 海军工程大学信息与电气工程学院,武汉,430033 |
| 基金项目： | 本文受973国家重点基础研究计划(2007CB311100)，国家863基金项目(2009AAO1Z437)信息网络安全公安部重点实验室开放基金资助课题资助。 |
| 摘 要： | 操作系统结构化是目前安全领域的一大难题。以无干扰模型为基础，提出了一种基于分层隔离的进程环境安全模型，给出了进程环境安全的定义和条件。然后对系统结构化要求进行了形式化的描述，并证明通过提出的结构化方法可以获得安全的进程环境。最后结合经典无干扰理论，将本模型由进程环境扩展为适用于整个系统安全的模型。 |
| 关 键 词： | 操作系统，结构化，无干扰，进程环境 |
Operating System Structuralization Research Based on Non-interference Model |
|
| SUN Yu,HU Jun,CHEN Ya-sh,ZHANG Xing.Operating System Structuralization Research Based on Non-interference Model[J].Computer Science,2011,38(4):303-306. | |
| Authors: | SUN Yu HU Jun CHEN Ya-sh ZHANG Xing |
| Affiliation: | (Computer Science Department, Beijng University of Technology,Beijing 100022,China);(College of Information and Electrical Engineering,Naval University of Engineering,Wuhan 430033,China);(Key Lab of Information network Security, Ministry of Public Security, Shanghai 201204, China) |
| Abstract: | Structural protection of operating system is currently a difficult problem in security field. This paper studied a process execution environment model based on hierarchy isolation, and gave definition and conditions of process environment security. Then we formalized structural requirements of process environment, and proved that a secure process environment can be available by structured method proposed. Finally combined with classic non-interference theory, the security model was extended from process environment to the whole system. |
| Keywords: | Operating system Structural protection Non-interference Process environment |
| 本文献已被 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |