Hits:

Indexed by:期刊论文

Date of Publication:2010-02-01

Journal:ICIC Express Letters

Included Journals:EI、Scopus

Volume:4

Issue:1

Page Number:225-230

ISSN No.:1881803X

Abstract:Logic-based anthorization has been arisen in recent years and to reasonpolicy for getting authorization decision is of central position in it. Howeverthere may have a policy inconsistency problem dnring the process of policycombination if policy contains negative rules. This problem will make policydeduction time-consnming and authorization decision intractable. To solve thisproblem, the paper presents a logic-based approach for reasoning policy to getanthorization decision even though the policy is inconsistent. The approachadopts the operation of replacement and combination to adjust policy consistentat first, and then follows the result to reason policy for final decision. Thealgorithm for final decision runs in polynomial-time Omicron;(n2T/2).It is almost the same with   (Mn2T) in PolicyMaker TrustManagement System, but in which negative rules are excluded. ICIC International ? 2010.