%0 Journal Article
%T Operating System Structuralization Research Based on Non-interference Model<br>基于无干扰模型的操作系统结构化研究
%A SUN Yu
%A HU Jun
%A CHEN Ya-sha
%A ZHANG Xing
%A <br>孙瑜
%A 胡俊
%A 陈亚莎
%A 张兴
%J 计算机科学
%D 2011
%I 
%X 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.
%K Operating system
%K Structural protection
%K Non-interference
%K Process environment<br>操作系统，结构化，无干扰，进程环境
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=5DF55F4F23663657A990096E098778AB&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=E158A972A605785F&sid=358F98408588E522&eid=31BCE06A2FD82A16&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0