完整性增强的文件分级保护模型.pdf

第 3 4 卷 第 2 期 计 算 机 应 用 与 软 件 V o L 34 N o . 2 2017年 2 月 C om pute A p p licatio n s an d Softw are F e b . 2017 完整性增强的文件分级保护模型 林 海 南 朱 建 涛 殷 红 武 (江南计算技术研究所江苏无锡214083) 摘 要 针对文件分级保护中对完整性安全的需求，结合系统中主体间的信任关系，提出一种完整性增强的文 件分级保护模型。模型在 BLP模型的基础上进行扩展，为主体和客体设置标签进行访问授权，同时改进安全公 理和状态转换规则，使得模型中的信息流动遵循标签的限制。最终对模型进行理论证明。该模型可以针对不同 的文件授予不同的主体修改权限，并且限制了完整性污点的传播。经分析和应用表明，该模型不仅满足文件保护 的多级机密性安全需求，同时有效地提高了文件分级保护的完整性。 关键词 访 问 授 权 BLP模 型 完 整 性 多 级 安 全 文 件 保 护 中图分类号 TP3-0 文献标识码 A DOI ：10. 3969/j. issn. 1000-386x. 2017.02. 058 AN INTEGRITY-ENHANCED PROTECTION MODEL OF FILE CLASSIFICATION Lin Hainan Zhu Jiantao Yin Hongwu (Jiangnan Institute o f Computing Technology, Wuxi 214083, Jiangsu, China) Abstract An integrity-enhanced protection model of file classification is proposed to satisfy the requirement of integrity security of files classification protection, combining the trusting relationship of subjects in system. The model is based on BLP (Bell LaPadula) model and labels are added to subjects and objects in order to grantee legal access authorization and improve the security axioms and state translation rules, the data flow is limit by the authorization labels. Finally, the model is proved theoretically. The model can grant different users different permissions and limit the broadcast of integrity stain. The analysis and application show that the model not only satisfies the confidentiality of file classify protection but also enhances the integrity of file protection. Keywords Access authorization BLP model Integrity Multilevel-security File protection 题[4_5]，国内外有许多相关研究，但是都不能很好地在 〇 引 言 真实系