%0 Journal Article
%T Analysis and Resolution of Integration of Multi Security Policies<br>多安全策略集成性问题的分析与解决
%A WU Xin-Yong XIONG Guan-Ze SANG Nan
%A <br>吴新勇
%A 熊光泽
%A 桑楠
%J 计算机科学
%D 2004
%I 
%X Resolution of integration of multi security policies is the base problem in secure OS which supports multi security policies and dynamic policies. This paper uses a state transition approach to formally analyze a security system and presents the different effects resulted by security-depended actions of different policies on security states. We will analyze TE ,RBAC model and T&R model (their integration model) .present a thinking to tackle the hybrid integration and consistency of multi-policies .which lay the foundation for implementing secure OS.
%K Security policy
%K Secure OS
%K State transition model
%K Integration<br>多安全策略
%K 集成性问题
%K 安全操作系统
%K TE策略
%K RBAC策略
%K 安全关联行为
%K 状态迁移模型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A7BEDAFEC510DFE5&yid=D0E58B75BFD8E51C&vid=4AD960B5AD2D111A&iid=94C357A881DFC066&sid=7555FB9CC973F695&eid=2B5DE8A23DCEED39&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=7