%0 Journal Article
%T Research of Security Kernel Mechanism Supporting Dynamical Policies<br>支持动态策略的安全核（Security Kernel）机制的研究
%A 吴新勇
%A 熊光泽
%J 计算机科学
%D 2002
%I 
%X Security of information system requires a secure operation system. Security kernel meets the requirement and provides a bedrock to security of operation system. This paper extracts the deficiency of traditional security kernel, presents a security kernel mechanism supporting policy flexibility, simplified secure interface. It optimizes the performance by reused policy cache, provids a method to revoke granted permissions and assures the atomicity of revocation permissions and granting new permissions. As a result, all refinements help security kernel to improve its flexibility, extensibility and portability.
%K Security kernel
%K TCB
%K Policy flexibility
%K Permission revocation<br>安全操作系统
%K 动态策略
%K 安全核机制
%K 应用程序
%K 计算机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=9FA90826CCC2654D&yid=C3ACC247184A22C1&vid=771469D9D58C34FF&iid=708DD6B15D2464E8&sid=E2546871E5B846EF&eid=3F0AF5EDBC960DB0&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=14