基于描述逻辑DL_(RBAC)的RBAC形式化模型  

Representation for RBAC model with description logic DL_(RBAC)

作　　者：马丽[1] 马世龙[1] 眭跃飞[2] 

机构地区：[1]北京航空航天大学计算机学院,北京100191 [2]中国科学院计算技术研究所,北京100190

出　　处：《北京航空航天大学学报》2010年第11期1315-1319,共5页Journal of Beijing University of Aeronautics and Astronautics

基　　金：国家973重点基础研究发展规划资助项目(2005CB321902)

摘　　要：提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.A new description logic-based representation for role-based accesss control（RBAC） model was proposed.RBAC sets and relations were translated as concepts and roles in the description logic respectively.To express RBAC role default inheritance and constraint conditions,symbols that represented role composition and inclusion were introduced to the basic description logic language,such that some RBAC default inheritance properties,such as role hierarchy（RH） transitivity,user-role assignment（UA） inheritance and permission-role assignment（PA） inheritance,and some RBAC constraints,such as static and dynamic separation of duty relations,can be represented formally.By integrating default inheritance with constraints in one formal system,the new inheritance relations that violate the access control strategy can be limited with the help of description logic reasoning mechanisms.

关 键 词：访问控制 基于角色的访问控制 描述逻辑 

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