10.3785/j.issn.1008-973X.2009.08.005
支持动态调节的保密性和完整性统一模型
针对简单结合BLP模型和Biba模型导致系统不具可用性的问题,提出了一种基于多级安全策略的保密性和完整性统一模型.以保密性和完整性作为安全模型的2个维度将主体的安全标识扩充为分离的读写权限区间,根据客体的安全标识和主体访问的历史过程,通过一定的安全转换规则动态调节主体的访问范围,实现BLP模型和Biba模型的有机结合,不仅保证了系统的保密性和完整性,而且使系统具有相当的灵活性和实用性.形式化描述了模型,并对模型的安全性进行相应的分析和证明.通过实例说明了模型的有效性和可用性.
安全模型、BLP模型、Biba模型、多级安全策略
43
TP309(计算技术、计算机技术)
国家高技术研究发展计划863计划2006AA01Z431;浙江省重大科技专项重点项目2007C11068;2007C11088
2009-10-27(万方平台首次上网日期,不代表论文的发表时间)
共6页
1377-1382