10.3969/j.issn.1000-386x.2017.02.058
完整性增强的文件分级保护模型
针对文件分级保护中对完整性安全的需求,结合系统中主体间的信任关系,提出一种完整性增强的文件分级保护模型.模型在BLP模型的基础上进行扩展,为主体和客体设置标签进行访问授权,同时改进安全公理和状态转换规则,使得模型中的信息流动遵循标签的限制.最终对模型进行理论证明.该模型可以针对不同的文件授予不同的主体修改权限,并且限制了完整性污点的传播.经分析和应用表明,该模型不仅满足文件保护的多级机密性安全需求,同时有效地提高了文件分级保护的完整性.
访问授权、BLP模型、完整性、多级安全、文件保护
34
TP3-0(计算技术、计算机技术)
核高基项目2013ZX01029002-001
2017-05-26(万方平台首次上网日期,不代表论文的发表时间)
共6页
319-324