关键词: 策略建模 描述逻辑 策略冲突 冲突检测 Racer推理机

Abstract:

The policy-based implementation of security management and quality of service has already gained wide applications. This paper proposes a way to represent a policy system model based on description logic. We divide policies into two different types： authorization policy and obligation policy, and def  fine the concepts and the role relations among them according to their features, and we can express a policy model via description logic. Policy conflicts can cause undesirable system behaviors, which is the most important part among policy reasoning. This paper deeply explores the different classifications of policy conflicts , and we give several approaches according to the policy model for detecting policy conflicts via description logic. An example  is given to explain these conflict detection approaches by using a logic reasoning machine named Racer.

Key words: policy modeling, description logic, policy conflict, conflict detection, Racer