|
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职：Director of Academic Committee at Kaifa District
其他任职：开发区校区学术分委员会主任（Director of Academic Committee at Kaifa Campus）
性别：男
毕业院校：多伦多大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 运筹学与控制论
办公地点：开发区（Kaifa District Campus）
联系方式：mingchul@dlut.edu.cn
电子邮箱：mingchul@dlut.edu.cn
A first-order logic based approach for authorization with the treatment ofpolicy inconsistency
点击次数：
论文类型：期刊论文
发表时间：2010-02-01
发表刊物：ICIC Express Letters
收录刊物：EI、Scopus
卷号：4
期号：1
页面范围：225-230
ISSN号：1881803X
摘要：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.