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

Operating System Structuralization Research Based on Non-interference Model

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

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.