%0 Journal Article
%T 一种对多级安全模型安全性的分析方法
%A 司天歌  谭智勇  戴一奇
%J -
%D 2008
%X 由于BLP模型的基本安全公理不能完全证明模型的安全性，因此，..
%K [BLP模型
%K 多级安全
%K 不干扰模型
%K 访问控制
%K 安全模型
%K BLP model
%K multilevel security
%K noninterference model
%K access control
%K security model]
%U http://crad.ict.ac.cn/CN/Y2008/V45/I10/1711