%0 Journal Article
%T 基于无干扰模型的操作系统结构化研究
%A 孙瑜
%A 胡俊
%A 陈亚莎
%A 张兴？
%J 计算机科学
%D 2011
%X 操作系统结构化是目前安全领域的一大难题。以无干扰模型为基础，提出了一种基于分层隔离的进程环境安全模型，给出了进程环境安全的定义和条件。然后对系统结构化要求进行了形式化的描述，并证明通过提出的结构化方法可以获得安全的进程环境。最后结合经典无干扰理论，将本模型由进程环境扩展为适用于整个系统安全的模型。
%K 操作系统
%K 结构化
%K 无干扰
%K 进程环境
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110469&flag=1