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