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

• 作者: 吕庆伟 吴迎红 张迪明 曾庆凯 黄皓
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 访问控制 SaaS 策略精化 策略冲突分析 开放逻辑 R反驳计算
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 1534-1556
• 页数: 23页
• 分类号: TP309
• 字数: 21269字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004626

摘要

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