计算机科学 ›› 2011, Vol. 38 ›› Issue (4): 303-306.
• 体系结构 • 上一篇
孙瑜,胡俊,陈亚莎,张兴
出版日期:
发布日期:
基金资助:
SUN Yu,HU Jun,CHEN Ya-sha,ZHANG Xing
Online:
Published:
摘要: 操作系统结构化是目前安全领域的一大难题。以无干扰模型为基础,提出了一种基于分层隔离的进程环境安全模型,给出了进程环境安全的定义和条件。然后对系统结构化要求进行了形式化的描述,并证明通过提出的结构化方法可以获得安全的进程环境。最后结合经典无干扰理论,将本模型由进程环境扩展为适用于整个系统安全的模型。
关键词: 操作系统,结构化,无干扰,进程环境
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.
Key words: Operating system, Structural protection, Non-interference, Process environment
孙瑜,胡俊,陈亚莎,张兴. 基于无干扰模型的操作系统结构化研究[J]. 计算机科学, 2011, 38(4): 303-306. https://doi.org/
SUN Yu,HU Jun,CHEN Ya-sha,ZHANG Xing. Operating System Structuralization Research Based on Non-interference Model[J]. Computer Science, 2011, 38(4): 303-306. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2011/V38/I4/303
Cited