华东师范大学学报(自然科学版) ›› 2015, Vol. 2015 ›› Issue (1): 172-177.doi: 10.3969/j.issn.1000-5641.2015.01.021

• 计算机科学 • 上一篇    下一篇

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

车天伟1,马建峰1,王超2，李娜3   

  1. 1. 西安电子科技大学 计算机学院, 西安 710071;
    2. 解放军信息工程大学 郑州 450001； 3.西北工业大学 计算机学院, 西安 710129
  • 收稿日期:2014-08-01 出版日期:2015-01-25 发布日期:2015-03-29
  • 通讯作者: 车天伟, 男, 博士研究生, 研究方向为计算机系统结构、计算机网络与信息安全 E-mail:tianweiche@163.com
  • 基金资助:

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

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

 CHE  Tian-Wei1, MA  Jian-Feng1, WANG  Chao2, LI  Na3   

  • Received:2014-08-01 Online:2015-01-25 Published:2015-03-29

PDF

1296

摘要： 针对访问控制模型的安全性分析与证明问题,提出了基于安全熵的量化分析方法. 首先,结合信息论有关知识引入安全熵的概念,提出了系统对违规访问行为响应的不确定性计算方法; 然后,基于安全熵提出了不同等级信息系统的安全性定理; 最后,应用该方法对经典安全模型进行了量化分析, 验证了该方法的实用性,并比较了这些访问控制模型安全性以及在等级化信息系统中的适用性.结果证明该方法可适用于访问控制模型的安全性度量以及系统的访问控制能力评估.

关键词: 信息熵, 安全熵, 等级化访问控制模型, 直接违规访问, 流向违规访问

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

Key words: information entropy, security entropy, classificatory access control model, directly unauthorized access, right about access

中图分类号: