基于描述逻辑的策略冲突检测方法研究及实现

采用基于策略的方法对安全管理、服务质量等进行监管，已经得到广泛应用。本文提供了一种基于描述逻辑的策略建模方式，将策略定义为两种类型，即授权策略和义务策略；建立策略相关的概念，结合概念之间的关系得到基于描述逻辑的策略模型。策略冲突会导致不一致的系统行为，是策略分析最重要的内容。本文深入研究了不同类型的策略 略冲突，在所建立的模型基础上提出了一套基于描述逻辑的策略冲突检测方法，并使用推理机Racer举例验证了这种检测方法。