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

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