%0 Journal Article
%T Dynamic Access Control Model Based on Situation Calculus<br>基于情景演算的动态访问控制模型
%A 翟浩良
%A 韩道军
%A 李磊
%J 计算机科学
%D 2012
%I 
%X 访问控制模型定义了安全系统访问控制的整体框架。现有的访问控制模型大多是静态授权模型，尽管可以通过扩展来实现局部动态性(比如可以通过定义条件来实现角色的临时激活等)，但在应用时受到了扩展元素的限制，并且已有的大部分模型无法描述授权的动态变化过程。针对以上问题，提出了一种基于情景演算的动态访问控制模型( SCDAC)。 SCDAC用逻辑事实和规则来描述访问控制属性和策略，把授权在某一时刻的状态(逻辑事实和规则集合)看作一个情景，通过动作来实现情景的变化，同时刻画了动作执行的前提条件和后续状态的变化情况。最后通过一个实例说明了用SCDAC来描述授权状态的动态变化是可行的。
%K Access control model
%K Dynamic
%K Situation calculus<br>访问控制模型，动态，情景演算
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=48D1E5032809D5D41605C276DBEDAD81&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=B31275AF3241DB2D&sid=6209D9E8050195F5&eid=7C3A4C1EE6A45749&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0