%0 Journal Article
%T 基于Petri网的IRBAC 2000域间动态转换SMER约束违反检测
%A 张加佳
%A 王  轩
%A 赵海楠
%A 黄荷娇
%A 刘  猛
%J -
%D 2012
%X Kapadia等人提出的IRBAC2000模型是在基于角色的..
%K [Petri网
%K 静态职责分离
%K 静态互斥角色
%K 动态角色转换
%K 互操作
%K 约束违反
%K Petri nets
%K static separation of duties
%K static mutual exclusive roles
%K dynamic role translation
%K interoperation
%K constraint violation]
%U http://crad.ict.ac.cn/CN/Y2012/V49/I9/1991