动态多级安全级模型及其应用

摘要：

针对采用传统MLS模型实现的系统可用性和灵活性较低的问题,提出了一种基于动态安全级的MLS模型Dynamic MLS.模型使用由流入信息最高安全级和流出信息最低安全级组成的动态安全级代替传统BLP模型中的当前安全级,并依此对主体访问客体的行为进行更灵活的控制.模型在BLP模型11条规则的基础上对其中的5条规则进行了改进,并通过形式化方法证明了改进模型的正确性.最后给出了模型在增加linux系统安全性方面的应用.

关键词：多级安全性(MLS)、安全模型、动态安全级

所属期刊栏目：45

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

资助基金：国家高技术研究发展计划863the National High-Tech Rehash and Development Plan of China under Grant 2006AA01Z406

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

页数：共3页

页码：100-102