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

• 作者: 国强 禄凯 范修斌 陈永刚 黎琳
• 来源期刊: 北京交通大学学报
• 学科: 工学
• 关键词: 信息安全 强制访问控制 Biba模型 三权分立
• 年，卷（期）: 2013,（5）
• 页码范围: 1-7
• 页数: 7页
• 分类号: TP309.2
• 字数: 5969字
• 语种: 中文

摘要

强制访问控制是建设高级别安全信息系统的必要条件.本文基于Biba模型,重点给出了信息系统中系统管理员、安全管理员和安全审计员三权分立的形式化分析.通过分析,给出三权分立管理机制下,保障信息系统安全管理的条件.本文的结果在某国家级信息系统的具体建设中得到了应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黎琳	北京交通大学计算机与信息技术学院	9	28	3.0	5.0
2	范修斌	中国科学院软件研究所	21	67	4.0	7.0
3	禄凯		8	20	2.0	4.0
4	国强		5	18	2.0	4.0
5	陈永刚		5	12	2.0	3.0