基于开放逻辑R反驳计算的访问控制策略精化

来源：软件学报杂志2015年第6期北京时间：

作者：吴迎红,黄皓,吕庆伟,曾庆凯,张迪明

单位：吴迎红，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21004611,黄皓，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21004602,吕庆伟，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21004603,曾庆凯，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21004604,张迪明，计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21004605

摘要：策略精化是解决分布式应用访问控制策略配置复杂性的重要方法,现有精化技术给出了策略分层描述和逐层精化的方法,但处理策略之间关联问题的能力不足.基于精化树描述策略和策略关联,基于叶结点策略冲突判断,采用开放逻辑R反驳计算分析精化树策略关联属性,能够消解策略冲突同时保证策略互斥、组合、访问路径协同、精化映射等关联正确,并能够按序消解不同类型策略冲突、自由取舍相冲突的策略.实验与分析计算性能表明,该方法符合SaaS平台客户应用系统策略精化需求.

关键词：访问控制;SaaS;策略精化;策略冲突分析;开放逻辑;R反驳计算

基金资助：国家高技术研究发展计划(863)(2011AA01A202)