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

计算机科学2006V01．33No．10 基于描述逻辑的RB—RBAC授权规则冲突检测方法母) 于海波车海燕金淳兆 (吉林大学计算机科学与技术学院 长春130012) RBAC)模型克服了RBAC模型的一些局限，提供了基于用户属性自动指派角色的机 摘要IBRBAC(Rule-Based 制。为了检测RB-RBAC模型的策略冲突，提出了一种基于描述逻辑的RBRBAC模型的形式化方法，在此基础上提 出了一种检测有关规则间冲突的方法、一种发现无关规则间冲突的方法和在授权规则集合中检测不同类型冲突的方 法，可以根据具体情况选择不同的方法以提高效率。并给出了一种简单的冲突消解方法。 关键词RB-RBAC，描述逻辑，授权规则，策略冲突，冲突检测 Researchon BasedConflictDetectionMethodsforRB-RBACModel DescriptionLogic