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

摘要：

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

关键词：BLP模型、安全策略、形式化、安全迁移规则、安全操作系统

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60903168;湖南省科技计划项目2012FJ6012;长沙市科技计划项目K1109020-11;湖南省重点学科项目湘教发[2011]76号

在线出版日期：2013-09-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：193-197