基于描述逻辑的XACML策略研究  

Study of XACML Policy Based on Description Logic

作　　者：陈旭日[1,2] 徐炜民[2] 

机构地区：[1]湖南科技学院计算机系,湖南永州425100 [2]上海大学计算机工程与科学学院,上海200072

出　　处：《计算机工程》2013年第4期71-74,共4页Computer Engineering

摘　　要：针对XACML策略间的语义表示、冲突等问题,提出基于描述逻辑的形式化方法,对XACML策略的目标、规则、规则组合算法和策略冲突消解算法进行形式化处理,并给出基于描述逻辑的规则间冲突检测方案。分析结果表明,该形式化方法便于XACML策略的扩展,并且增强了XACML的语义表达能力和推理能力。Against the semantics of XML Access Control Markup Language（XACML） policies, conflict and other issues, this paper provides description logic-based formal methods, formalizes XACML policy target, rules, rules combination algorithms and policy conflict resolution algorithm, and puts forward the rules conflict detection method based on the description logic. Analysis result shows that this method facilitates strategic expansion, and enhances the XACML semantics of expressive power and reasoning ability.

关 键 词：XML访问控制标记语言 描述逻辑 冲突检测 规则冗余 推理 语义 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]