期刊文献+

BLP模型及其改进方向

BLP Model and Improvement Direction
下载PDF
导出
摘要 BLP模型在整个计算机安全模型的发展过程中起到一个奠基性的作用,被看成是基础安全公理。BLP模型采用形式化安全许可的分类描述来研究信息的安全性。论文简单介绍了BLP模型及其公理系统,总结了该模型目前存在的安全缺陷和问题,并针对这些问题分析了BLP模型的改进方向。 BLP model computer security model in the entire process of development has played a foundational role in the underlying security is seen as axioms. BLP model uses the formal description of security clearances to examine the classification of information security. Paper introduces the BLP model and its axiom system, summed up the model of existing security flaws and problems, and to analyze these problems BLP model improvement direction.
作者 张蓉
出处 《电脑知识与技术(过刊)》 2013年第12X期8107-8108,8115,共3页 Computer Knowledge and Technology
关键词 BLP 模型 安全 BLP model safe
  • 相关文献

参考文献4

二级参考文献32

  • 1蔡谊,郑志蓉,沈昌祥.基于多级安全策略的二维标识模型[J].计算机学报,2004,27(5):619-624. 被引量:28
  • 2斯汉,温红子,雷浩,王建.基于Clark-Wilson完整性策略的安全监视模型[J].软件学报,2004,15(8):1124-1132. 被引量:6
  • 3肖军模.对军用安全模型的扩展[J].电子科技大学学报,2005,34(2):186-189. 被引量:4
  • 4权义宁,胡予濮.改进的操作系统安全访问控制模型[J].西安电子科技大学学报,2006,33(4):539-542. 被引量:5
  • 5BELL D E, LAPADULA L J. Secure Computer Systems[R]. USA: Technical Report MTR-2457, 1973.
  • 6BELL T Y L, LAPADULA A. A "new" paradigm for an "old" model[A]. Proceedings of the 1992-1993 Workshop on New Security Paradigms[C]. 1993.82-93.
  • 7FEIERTAG R J, LEVITT K N, ROBINSON L. Proving multilevel security of a system design[A]. Proc of the 6th ACM Symp on Operating Syst Principles[C]. 1977.57-65.
  • 8DIVITO L, PALMQUIST P H, ANDERSON E R, et al. Sepcification and verification of the ASOS kernel[A] . Proceedings of the 1990 IEEE Computer Society Symposium on Research in Security and Privacy[C]. 1990.61-74.
  • 9LIU Y H, CHEN X S, A new information security model on BLP model and Biba model[A]. ICSP'04 Proceedings[C]. 2004. 2643-2646.
  • 10黄启真.Linux启动运行后可信计算的设计和实现[D].杭州:浙江大学,2008.

共引文献33

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部