改进的BLP模型的建模及其应用

• 作者: 徐亮
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: BLP模型 安全策略 形式化 安全迁移规则 安全操作系统
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 信息安全
• 页码范围: 193-197
• 页数: 5页
• 分类号: TP309
• 字数: 6612字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2013.04.048

摘要

BLP模型是经典的数据机密性模型,也是高等级安全操作系统研发过程中最常使用的一种安全策略模型.但是由于模型自身存在的不足,使得它无法满足实际系统开发的需求.通过对其做相应的改进,并对其做完全形式化的描述,将其应用到具体的系统当中,从而满足《信息安全技术——操作系统安全技术要求》(《GB/T 20272-2006》)中对“访问验证保护级”安全操作系统研发过程中提出的需要完全形式化的安全策略模型的需求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐亮	湖南师范大学数学与计算机科学学院	9	50	3.0	7.0