基于描述逻辑的RB-RBAC授权规则冲突检测方法

被引：9

作者：

于海波

车海燕

金淳兆

机构：

[1] 吉林大学计算机科学与技术学院

来源：

计算机科学 | 2006年 / 10期

关键词：

RB-RBAC; 描述逻辑; 授权规则; 策略冲突; 冲突检测;

D O I：

暂无

中图分类号：

TP309 [安全保密];

学科分类号：

081206 [计算机网络与安全];

摘要：

RB-RBAC(Rule-BasedRBAC)模型克服了RBAC模型的一些局限,提供了基于用户属性自动指派角色的机制。为了检测RB-RBAC模型的策略冲突,提出了一种基于描述逻辑的RB-RBAC模型的形式化方法,在此基础上提出了一种检测有关规则间冲突的方法、一种发现无关规则间冲突的方法和在授权规则集合中检测不同类型冲突的方法,可以根据具体情况选择不同的方法以提高效率。并给出了一种简单的冲突消解方法。

引用

页码：101 / 105

页数：5