Procedural Constraints in the Extended RBAC and the Coloured Petri Net Modeling

Wook Shin, Jeong-Gun Lee, Hong Kook Kim, Kouichi Sakurai. Procedural Constraints in the Extended RBAC and the Coloured Petri Net Modeling. IEICE Transactions, 88-A(1):327-330, 2005. [doi]

Abstract

Abstract is missing.