Indexed by：
Abstract：
操作系统结构化是目前安全领域的一大难题.以无干扰模型为基础,提出了一种基于分层隔离的进程环境安全模型,给出了进程环境安全的定义和条件.然后对系统结构化要求进行了形式化的描述,并证明通过提出的结构化方法可以获得安全的进程环境.最后结合经典无干扰理论,将本模型由进程环境扩展为适用于整个系统安全的模型.
Keyword：
Reprint Author's Address：
Email：
Source ：
计算机科学
ISSN： 1002-137X
Year： 2011
Issue： 4
Volume： 38
Page： 303-306
Cited Count：
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： -1
Chinese Cited Count：
30 Days PV： 1
Affiliated Colleges：
