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

Wook SHIN  Jeong-Gun LEE  Hong Kook KIM  Kouichi SAKURAI 

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences  Vol.E88-A  No.1  pp.327-330
Publication Date: 2005/01/01
Online ISSN: 
Print ISSN: 0916-8508
Type of Manuscript: Special Section LETTER (Special Section on Cryptography and Information Security)
Category: 
Keyword: 
Coloured Petri Net,  access control,  role,  behavior, 

Full Text: PDF(307.4KB)

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