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

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