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

Modeling of Improved BLP Model and Its Applications

作　　者：徐亮[1,2] 

机构地区：[1]湖南师范大学数学与计算机科学学院,湖南长沙410081 [2]高性能计算与随机信息处理省部共建教育部重点实验室,湖南长沙410081

出　　处：《计算机与现代化》2013年第4期193-197,共5页Computer and Modernization

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

摘　　要：BLP模型是经典的数据机密性模型,也是高等级安全操作系统研发过程中最常使用的一种安全策略模型。但是由于模型自身存在的不足,使得它无法满足实际系统开发的需求。通过对其做相应的改进,并对其做完全形式化的描述,将其应用到具体的系统当中,从而满足《信息安全技术——操作系统安全技术要求》(《GB/T 20272-2006》)中对"访问验证保护级"安全操作系统研发过程中提出的需要完全形式化的安全策略模型的需求。Bell-La Padula （BLP） model is a classical data confidentiality model and is often used as a security policy model in the researches of high-grade secure operating systems. But as its own shortages, it is hard to satisfy the requirement of develop- ment in actual systems. By doing the corresponding improvement and formal description, it can be used in actual systems and also satisfies the requirement of formal security policy model in the development of access verification and protection level of secure op- erating systems according to the Information security technology： Security techniques requirement for operating system （GB/T 20272-2006）.

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]