%0 Journal Article %T 基于开放逻辑r反驳计算的访问控制策略精化 %A 吴迎红? %A 黄皓? %A 吕庆伟? %A 曾庆凯? %A 张迪明? %J 软件学报 %P 1534-1556 %D 2015 %R 10.13328/j.cnki.jos.004626 %X 策略精化是解决分布式应用访问控制策略配置复杂性的重要方法,现有精化技术给出了策略分层描述和逐层精化的方法,但处理策略之间关联问题的能力不足.基于精化树描述策略和策略关联,基于叶结点策略冲突判断,采用开放逻辑r反驳计算分析精化树策略关联属性,能够消解策略冲突同时保证策略互斥、组合、访问路径协同、精化映射等关联正确,并能够按序消解不同类型策略冲突、自由取舍相冲突的策略.实验与分析计算性能表明,该方法符合saas平台客户应用系统策略精化需求. %K 访问控制 %K saas %K 策略精化 %K 策略冲突分析 %K 开放逻辑 %K r反驳计算 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4626&flag=1