基于角色访问控制管理模型的安全性分析  

Security Analysis on Administrative Model of Role-Based Access Control

作　　者：杨秋伟[1] 洪帆[1] 杨木祥[1] 朱贤[1] 

机构地区：[1]华中科技大学计算机学院,湖北武汉430074

出　　处：《软件学报》2006年第8期1804-1810,共7页Journal of Software

基　　金：国家自然科学基金~~

摘　　要：在基于角色的访问控制管理模型中,采用安全查询来描述系统安全策略,引入状态变换系统定义基于角色的访问控制管理模型及其安全分析,用图灵机理论和计算复杂性理论进行安全分析.将安全查询分类为必然性安全查询和可能性安全查询,证明了必然性安全查询和与状态无关的可能性安全查询能在多项式时间内被有效解决,给出了满足NP-完全问题的可能性安全查询的条件,而一般的可能性安全查询是不可判定的.Systemic security strategy is described by security query in administrative model of role-based access control （RBAC）. According to the definition of state-transition system, security analysis is defined and executed on Turing machine. Security query is classified by necessity and possibility. As a result, necessary security query and possible security query independent of status can be resolved in polynomial time, and the conditions under which possible security query is NP-complete problem are presented, but general possible security query is un-decidable.

关 键 词：基于角色的访问控制 授权管理 图灵机 NP-完全问题 不可判定性 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]