基于Graphplan的ARBAC策略安全分析方法

摘要：

策略安全分析是访问控制系统保持安全状态的重要机制.针对具有角色继承层次和角色静态互斥特征的分布式访问控制系统,文中采用智能规划技术进行策略安全分析.首先,提出了策略安全分析问题向规划问题转换的整体思路,定义"虚动作"模型以描述角色继承关系,使用领域互斥表述静态互斥角色,引入领域公理处理ARBAC策略的开放世界假设问题和前提条件中的负谓词问题.其后,运用图规划(Graphplan)算法求解转换而来的规划问题,重点分析了领域公理对规划图中部分NooP动作的剪枝作用,提出了领域公理在规划图扩展阶段的应用方式以及据此改进的图规划算法,介绍了已开发的面向ARBAC策略安全分析实验型规划系统.最后,进行了应用示例说明.

关键词：基于角色的访问控制、策略、安全性分析、图规划

所属期刊栏目：32

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金60773201

在线出版日期：2009-06-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：910-921