基于Biba模型的三权分立分析.pdfVIP

第37卷 第5期 北 京 交 通 大 学 学 报 Vo1．37No．5 0FBEUING lIIA0T0NG UNIvERSITY Oct．2013 文章编号 ：1673—0291(2013)05—0001—07 基于 Biba模型的三权分立分析 黎 琳 ，禄 凯2，国 强2，陈永刚2，范修斌3 (1．北京交通大学 计算机与信息技术学院，北京 100044； 2．国家信息中心，北京 100045；3．中国科学院 软件研究所，北京 100190) 摘 要：强制访 问控制是建设高级别安全信息系统的必要条件 ．本文基于Biba模型，重点给出 了信息系统中系统管理员、安全管理员和安全审计员三权分立的形式化分析 ．通过分析，给出 三权分立管理机制下，保障信息系统安全管理的条件．本文的结果在某国家级信息系统的具体 建设中得到了应用． 关键词 ：信息安全 ；强制访