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

• 作者: 王晓贺 蔡国永
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 策略建模 描述逻辑 策略冲突 冲突检测 Racer推理机
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 研究与实现
• 页码范围: 106-110
• 页数: 5页
• 分类号: TP393
• 字数: 4821字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.06.032

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡国永	桂林电子科技大学计算机与控制学院	98	400	12.0	15.0
2	王晓贺	桂林电子科技大学计算机与控制学院	2	10	2.0	2.0