CAJ | 학술논문

访问控制模型定义了安全系统访问控制的整体框架.现有的访问控制模型大多是静态授权模型,尽管可以通过扩展来实现局部动态性(比如可以通过定义条件来实现角色的临时激活等),但在应用时受到了扩展元素的限制,并且已有的大部分模型无法描述授权的动态变化过程.针对以上问题,提出了一种基于情景演算的动态访问控制模型(SCDAC).SCDAC用逻辑事实和规则来描述访问控制属性和策略,把授权在某一时刻的状态(逻辑事实和规则集合)看作一个情景,通过动作来实现情景的变化,同时刻画了动作执行的前提条件和后续状态的变化情况.最后通过一个实例说明了用SCDAC来描述授权状态的动态变化是可行的.
방문공제모형정의료안전계통방문공제적정체광가.현유적방문공제모형대다시정태수권모형,진관가이통과확전래실현국부동태성(비여가이통과정의조건래실현각색적림시격활등),단재응용시수도료확전원소적한제,병차이유적대부분모형무법묘술수권적동태변화과정.침대이상문제,제출료일충기우정경연산적동태방문공제모형(SCDAC).SCDAC용라집사실화규칙래묘술방문공제속성화책략,파수권재모일시각적상태(라집사실화규칙집합)간작일개정경,통과동작래실현정경적변화,동시각화료동작집행적전제조건화후속상태적변화정황.최후통과일개실례설명료용SCDAC래묘술수권상태적동태변화시가행적.