%0 Journal Article
%T 基于情景演算的动态访问控制模型
%A 翟浩良
%A 韩道军
%A 李磊？
%J 计算机科学
%D 2012
%X 访问控制模型定义了安全系统访问控制的整体框架。现有的访问控制模型大多是静态授权模型，尽管可以通过扩展来实现局部动态性(比如可以通过定义条件来实现角色的临时激活等)，但在应用时受到了扩展元素的限制，并且已有的大部分模型无法描述授权的动态变化过程。针对以上问题，提出了一种基于情景演算的动态访问控制模型(scdac)。scdac用逻辑事实和规则来描述访问控制属性和策略，把授权在某一时刻的状态(逻辑事实和规则集合)看作一个情景，通过动作来实现情景的变化，同时刻画了动作执行的前提条件和后续状态的变化情况。最后通过一个实例说明了用scdac来描述授权状态的动态变化是可行的。
%K 访问控制模型
%K 动态
%K 情景演算
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=120608&flag=1