基于安全熵的多级访问控制模型量化分析方法

车天伟; 马建峰; 王超; 李娜

doi:10.3969/j.issn.1000-5641.2015.01.021

基于安全熵的多级访问控制模型量化分析方法

doi: 10.3969/j.issn.1000-5641.2015.01.021

车天伟^1, ,,
马建峰¹,
王超²,
李娜³

1.
西安电子科技大学计算机学院, 西安 710071;
2.
解放军信息工程大学郑州 450001;
3.
西北工业大学计算机学院, 西安 710129

基金项目:

国家自然科学基金资助项目(60872041,61072066); 中央高校基本科研业务费专项资金资助(JYl0000903001.JYl0000901034)

详细信息

通讯作者:
车天伟, 男, 博士研究生, 研究方向为计算机系统结构、计算机网络与信息安全

中图分类号: TP301.1
计量
- 文章访问数: 863
- HTML全文浏览量: 20
- PDF下载量: 1050
- 被引次数: 0
出版历程
- 收稿日期: 2014-08-01
- 刊出日期: 2015-01-25

A quantitative analysis technique for multi-classes access control model based on security entropy

摘要

摘要: 针对访问控制模型的安全性分析与证明问题,提出了基于安全熵的量化分析方法. 首先,结合信息论有关知识引入安全熵的概念,提出了系统对违规访问行为响应的不确定性计算方法; 然后,基于安全熵提出了不同等级信息系统的安全性定理; 最后,应用该方法对经典安全模型进行了量化分析, 验证了该方法的实用性,并比较了这些访问控制模型安全性以及在等级化信息系统中的适用性.结果证明该方法可适用于访问控制模型的安全性度量以及系统的访问控制能力评估.
- 信息熵 /
- 安全熵 /
- 等级化访问控制模型 /
- 直接违规访问 /
- 流向违规访问
Abstract: To resolve the problem of quantitative analysis on classificatory information systems, a quantitative analysis technique is proposed based on security entropy. Firstly, the security entropy is put forward according to the information theory, to calculate the uncertainty of the system's determinations on the irregular access behaviors. Then the security theorems of classificatory information systems are defined based on security entropy. Finally, the typical access control models are analyzed by the technique, the technique's practicability is validated, and security and applicability of these models are compared. The result proves that the technique is suit for security quantitative analysis on access control model and evaluation to access control capability in information system
- information entropy /
- security entropy /
- classificatory access control model /
- directly unauthorized access /
- right about access

HTML全文

参考文献(1)

[1]

BELL D E, LAPADULA L J. Secure Computer Systems: Mathematical Foundations, M74-244 [R]. Bedford: Mass Mitre Corp, 1973: 66-79.
BELL D E. Looking back at the Bell-La Padula model [C]//21st Annual Computer Security Applications Conference. Tucson, Arizona: [s.n.], 2005: 337-351.
司天歌, 谭智勇, 戴一奇. 一种对多级安全模型安全性的分析方法~[J], 计算机研究与发展, 2008, 45(10): 1711-1717.
傅祖芸. 信息论---基础理论与应用~[M]. 北京: 电子工业出版社, 2007.
王贵宝, 黄洪钟, 张小玲.风险可能数------一种基于最大信息熵理论的风险度量和风险排序新方法~[J]. 航空学报, 2009, 30(9): 1684-1690.
付钰, 吴晓平, 叶清等. 模糊集与熵权理论的信息系统安全风险评估研究~[J]. 电子学报, 2010, 38(7): 1490-1494.
赵冬梅, 马建峰, 王跃生. 信息系统的模糊风险评估模型~[J]. 通信学报. 2007, 28(4): 51-56.
国家质量技术监督局. GB/T 17859---1999计算机信息系统安全保护等级划分准则~[S]. 北京: 中国标准出版社, 1999.
DENNING P. Third generation computer systems [J]. Computer Surveys, 1971, 3(4): 175-216.
SANDHU R S, COYNE E J, FEINSTEIN H L. Role-based access control models [J]. IEEE Computer, 1996, 29(2): 38-47.
翟征德, 徐震, 冯登国. 域间动态角色转换的静态互斥角色约束违反~[J]. 计算机研究与发展, 2008, 45(4): 677-683.
WANG C, CHEN X Y, LI N. An access control mode based on information flow graph [C]//Proceedings of the International Conference on Computational Intelligence and Security. Sanya: [s.n.], 2011: 998-1000.

施引文献

资源附件(0)

访问统计