基于Petri网的IRBAC 2000域间动态转换SMER约束违反检测

Keywords: [Petri网, 静态职责分离, 静态互斥角色, 动态角色转换, 互操作, 约束违反, Petri nets, static separation of duties, static mutual exclusive roles, dynamic role translation, interoperation, constraint violation]

Full-Text   Cite this paper   Add to My Lib

Abstract:

Kapadia等人提出的IRBAC2000模型是在基于角色的..

Full-Text