Computer Science ›› 2011, Vol. 38 ›› Issue (4): 303-306.
Previous Articles
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
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.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2011/V38/I4/303
Cited