%0 Journal Article
%A 黎琳
%A 禄凯
%A 国强
%A 陈永刚
%A 范修斌
%T 基于Biba模型的三权分立分析
%D 2013
%R 10.11860/j.issn.1673-0291.2013.05.001
%J 星空电竞app2026最新版学报
%P 1-7
%V 37
%N 5
%X 强制访问控制是建设高级别安全信息系统的必要条件.本文基于Biba模型,重点给出了信息系统中系统管理员、安全管理员和安全审计员三权分立的形式化分析.通过分析,给出三权分立管理机制下,保障信息系统安全管理的条件.本文的结果在某国家级信息系统的具体建设中得到了应用.
%U https://jdxb.bjtu.edu.cn/CN/10.11860/j.issn.1673-0291.2013.05.001