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]

@article{ShinLKS05,
  title = {Procedural Constraints in the Extended RBAC and the Coloured Petri Net Modeling},
  author = {Wook Shin and Jeong-Gun Lee and Hong Kook Kim and Kouichi Sakurai},
  year = {2005},
  url = {http://search.ieice.org/bin/summary.php?id=e88-a_1_327&category=D&year=2005&lang=E&abst=},
  tags = {modeling, constraints},
  researchr = {https://researchr.org/publication/ShinLKS05},
  cites = {0},
  citedby = {0},
  journal = {IEICE Transactions},
  volume = {88-A},
  number = {1},
  pages = {327-330},
}