基于非传递无干扰理论的二元多级安全模型研究

• 作者: 刘威鹏 张兴
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 多级安全 BLP模型 Biba模型 二元多级安全模型 非传递无干扰理论
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 52-58
• 页数: 7页
• 分类号: TP309
• 字数: 6631字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2009.02.009

摘要

提出了一个新的基于非传递无干扰理论的二元多级安全模型,其分别依据BLP和Biba模型的思想保护信息的机密性和完整性.为增强模型的实际可用性,引入了机密性可信域和完整性可信域,其在机密性检查室和完整性检查室内对违反安全策略的操作进行检查.基于信息流的非传递无干扰理论对于该模型进行了严格的形式化描述,并证明了其安全性,近一步讨论了其在Linux操作系统中的实现和在实际中的应用.该研究对于国家信息内容安全基础设施中敏感信息的保护具有一定的理论和实用价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张兴	解放军信息工程大学电子技术学院	5	66	2.0	5.0