%0 Journal Article
%T 安全性质的可结合性
%A 余祥宣
%A 张江陵
%A 马建平
%J -
%D 1998
%X 安全系统是由许多子系统组成，每一子系统都必须满足一定的安全性质，但这不能保证由这些子系统组合而成的系统也是安全的，即组合的系统不一定也满足给定的安全性质，所以要求系统的安全性质满足可结合性.该文介绍了一种新的基于无干扰概念的多级安全性质，并证明了它是可结合的
%K 安全性质
%K 可结合性
%K 无干扰
%K 多级安全.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19980916&flag=1