计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2013年
4期
71-74
,共4页
XML访问控制标记语言%描述逻辑%冲突检测%规则冗余%推理%语义
XML訪問控製標記語言%描述邏輯%遲突檢測%規則冗餘%推理%語義
XML방문공제표기어언%묘술라집%충돌검측%규칙용여%추리%어의
XML Access Control Markup Language(XACML)%description logic%conflict detection%rule redundancy%reasoning%semantic
针对XACML策略间的语义表示、冲突等问题,提出基于描述逻辑的形式化方法,对XACML策略的目标、规则、规则组合算法和策略冲突消解算法进行形式化处理,并给出基于描述逻辑的规则间冲突检测方案.分析结果表明,该形式化方法便于XACML策略的扩展,并且增强了XACML的语义表达能力和推理能力.
針對XACML策略間的語義錶示、遲突等問題,提齣基于描述邏輯的形式化方法,對XACML策略的目標、規則、規則組閤算法和策略遲突消解算法進行形式化處理,併給齣基于描述邏輯的規則間遲突檢測方案.分析結果錶明,該形式化方法便于XACML策略的擴展,併且增彊瞭XACML的語義錶達能力和推理能力.
침대XACML책략간적어의표시、충돌등문제,제출기우묘술라집적형식화방법,대XACML책략적목표、규칙、규칙조합산법화책략충돌소해산법진행형식화처리,병급출기우묘술라집적규칙간충돌검측방안.분석결과표명,해형식화방법편우XACML책략적확전,병차증강료XACML적어의표체능력화추리능력.
