An Approach for Handling Conflicts in Authorization  

作　　者：ZHANG Mingsheng ZHANG Mingyi 

机构地区：[1]School of Economics and Management, Guizhou NationalitiesUniversity, Guiyang 550025, Guizhou, China [2]Guizhou Academy of Sciences, Guiyang 550001, Guizhou,China

出　　处：《Wuhan University Journal of Natural Sciences》2008年第5期626-630,共5页武汉大学学报（自然科学英文版）

基　　金：the National Natural Science Foundation of China (60573009,90718009)

摘　　要：Based on logic programs, authorization conflicts and resolution strategies are analyzed through the explanation of some examples on the health care sector. A resolution scheme for handling conflicts in high level authorization specification by using logic program with ordered disjunction （LPOD） is proposed. The scheme is useful for solving conflicts resulted from combining positive and negative authorization, complexity of authorization management, and less clarity of the specification. It can well specify kinds of conflicts （such as exceptional conflicts, potential conflicts）, and is based on literals and dependent contexts. Thus it is expressive and available. It is shown that authorizations based on rules LPOD is very important both in theory and practice.Based on logic programs, authorization conflicts and resolution strategies are analyzed through the explanation of some examples on the health care sector. A resolution scheme for handling conflicts in high level authorization specification by using logic program with ordered disjunction （LPOD） is proposed. The scheme is useful for solving conflicts resulted from combining positive and negative authorization, complexity of authorization management, and less clarity of the specification. It can well specify kinds of conflicts （such as exceptional conflicts, potential conflicts）, and is based on literals and dependent contexts. Thus it is expressive and available. It is shown that authorizations based on rules LPOD is very important both in theory and practice.

关 键 词：AUTHORIZATION authorization conflict conflict resolution schema logic program with ordered disjunction 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]