%0 Journal Article
%T 计算机安全中的无干扰模型
%A 周伟 尹青 郭金庚？
%J 计算机科学
%D 2005
%X 与基于访问控制的形式安全模型相比，基于信息流的安全模型对于定义什么是安全来说更为本质，自提出信息流的无干扰概念以来，信息流模型成为安全研完的中心之一，并提出了多种无干扰信息流模型。本文基于进程代数框架研完这些模型，并给出了一些新的结果和证明。
%K 安全模型计算机安全进程代数访问控制信息流框架干扰定义概念本质
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=11813235&flag=1