检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]浙江大学计算机科学与技术学院,杭州310027 [2]南京大学商学院,南京210093
出 处:《计算机工程》2005年第19期133-135,共3页Computer Engineering
基 金:浙江省自然科学基金资助项目(600014;M603228)
摘 要:提出并设计了一个安全操作系统的信息安全模型。该模型消除了仅以用户作为主体存在的不安全隐患,除保密性指标外考虑了完整性指标,限制了隐蔽通道,限制了可信主体以满足最小权限原则,进行了域隔离,缩小了理论模型与实际应用的差距,并应用到自主开发的安全操作系统WXSSOS中。This paper proposes a security model of secure operating system. The model absorbes the idea in Biba model and RBAC model, and modifies the BLP model to mitigate the security threat. It extends the category of subject in BLP, and considers the integrity aspect except for the confidentiality aspect. Also, covert channels and the trust subject are limited in this model. It is applied in WXSSOS, which is a self-developed secure operating system.
分 类 号:TP309[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.249