基于情景演算的动态访问控制模型

摘要：

访问控制模型定义了安全系统访问控制的整体框架.现有的访问控制模型大多是静态授权模型,尽管可以通过扩展来实现局部动态性(比如可以通过定义条件来实现角色的临时激活等),但在应用时受到了扩展元素的限制,并且已有的大部分模型无法描述授权的动态变化过程.针对以上问题,提出了一种基于情景演算的动态访问控制模型(SCDAC).SCDAC用逻辑事实和规则来描述访问控制属性和策略,把授权在某一时刻的状态(逻辑事实和规则集合)看作一个情景,通过动作来实现情景的变化,同时刻画了动作执行的前提条件和后续状态的变化情况.最后通过一个实例说明了用SCDAC来描述授权状态的动态变化是可行的.

关键词：访问控制模型、动态、情景演算

所属期刊栏目：39

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

资助基金：澳门科学技术发展基金013/2010/A;中国博士后科学基金20100480806

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

页数：共5页

页码：35-39