Procedural constraints in the extended RBAC and the coloured Petri net modeling

Wook Shin, Jeong Gun Lee, Hong Kook Klm, Kouichi Sakurai

Research output: Contribution to journalArticle

1 Citation (Scopus)


This paper presents the Coloured Petri Net modeling for security analysis of the Extended Role Based Access Control systems.

Original languageEnglish
Pages (from-to)327-330
Number of pages4
JournalIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Issue number1
Publication statusPublished - Jan 2005


All Science Journal Classification (ASJC) codes

  • Signal Processing
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering
  • Applied Mathematics

Cite this