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

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

doi:10.1093/ietfec/E88-A.1.327

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

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

Mathematical Informatics

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

Abstract

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

Original language	English
Pages (from-to)	327-330
Number of pages	4
Journal	IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Volume	E88-A
Issue number	1
DOIs	https://doi.org/10.1093/ietfec/E88-A.1.327
Publication status	Published - Jan 2005

All Science Journal Classification (ASJC) codes

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

Access to Document

10.1093/ietfec/E88-A.1.327

Fingerprint Dive into the research topics of 'Procedural constraints in the extended RBAC and the coloured Petri net modeling'. Together they form a unique fingerprint.

Cite this

@article{94e875739c484eee9c3afc90e56b5c59,

title = "Procedural constraints in the extended RBAC and the coloured Petri net modeling",

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

author = "Wook Shin and Lee, {Jeong Gun} and Klm, {Hong Kook} and Kouichi Sakurai",

year = "2005",

month = jan,

doi = "10.1093/ietfec/E88-A.1.327",

language = "English",

volume = "E88-A",

pages = "327--330",

journal = "IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences",

issn = "0916-8508",

publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",

number = "1",

}

TY - JOUR

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

AU - Shin, Wook

AU - Lee, Jeong Gun

AU - Klm, Hong Kook

AU - Sakurai, Kouichi

PY - 2005/1

Y1 - 2005/1

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

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

UR - http://www.scopus.com/inward/record.url?scp=27544496240&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=27544496240&partnerID=8YFLogxK

U2 - 10.1093/ietfec/E88-A.1.327

DO - 10.1093/ietfec/E88-A.1.327

M3 - Article

AN - SCOPUS:27544496240

VL - E88-A

SP - 327

EP - 330

JO - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

JF - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

SN - 0916-8508

IS - 1

ER -