基于语义的RBAC模型权限冲突检测方法

摘要：

RBAC模型通过角色将用户和权限进行了逻辑分离,然而在角色分配及权限授予时,导致的冲突检测没有得到彻底解决.提出了一种基于语义的RBAC模型冲突检测方法:利用描述逻辑作为逻辑框架构造知识库,对RBAC模型及其中的冲突关系进行了形式化的表示和推理,通过检测角色分配和权限授予过程中出现的用户角色冲突、角色权限冲突以及用户权限直接授予冲突关系,最终有效地检测出权限冲突,保证用户权限的一致性和正确性.

关键词：访问控制、描述逻辑、冲突检测

所属期刊栏目：47

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 60803027;国家高技术研究发展计划863the National High-Tech Research and Development Plan of China under Grant 2007AA01Z445;重庆市自然科学基金CSTC.2008BB2312

在线出版日期：2012-01-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：74-78