支持动态调节的保密性和完整性统一模型

摘要：

针对简单结合BLP模型和Biba模型导致系统不具可用性的问题,提出了一种基于多级安全策略的保密性和完整性统一模型.以保密性和完整性作为安全模型的2个维度将主体的安全标识扩充为分离的读写权限区间,根据客体的安全标识和主体访问的历史过程,通过一定的安全转换规则动态调节主体的访问范围,实现BLP模型和Biba模型的有机结合,不仅保证了系统的保密性和完整性,而且使系统具有相当的灵活性和实用性.形式化描述了模型,并对模型的安全性进行相应的分析和证明.通过实例说明了模型的有效性和可用性.

关键词：安全模型、BLP模型、Biba模型、多级安全策略

所属期刊栏目：43

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

资助基金：国家高技术研究发展计划863计划2006AA01Z431;浙江省重大科技专项重点项目2007C11068;2007C11088

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

页数：共6页

页码：1377-1382