Procedural Constraints in the Extended RBAC and the Coloured Petri Net Modeling(<Special Section>Cryptography and Information Security)
スポンサーリンク
概要
- 論文の詳細を見る
This paper presents the Coloured Petri Net modeling for security analysis of the Extended Role Based Access Control systems.
- 2005-01-01
著者
-
Lee Jeong-gun
The Department Of Information And Communications Gwangju Institute Of Science And Technology
-
SHIN Wook
the Department of Information and Communications, Gwangju Institute of Science and Technology
-
KIM Hong
the Department of Information and Communications, Gwangju Institute of Science and Technology
-
SAKURAI Kouichi
the Department of Computer Science and Communication Engineering, Kyushu University
-
Shin Wook
The Department Of Information And Communications Gwangju Institute Of Science And Technology
-
Sakurai Kouichi
The Department Of Computer Science And Communication Engineering Kyushu University
-
Kim Hong
The Department Of Information And Communications Gwangju Institute Of Science And Technology
-
KIM Hong
the Department of Electrical Engineering, Korea Advanced Institute of Science and Technology (KAIST)
関連論文
- Procedural Constraints in the Extended RBAC and the Coloured Petri Net Modeling(Cryptography and Information Security)
- Test Generation for SI Asynchronous Circuits with Undetectable Faults from Signal Transition Graph Specification(Special Section on Papers Selected from ITC-CSCC 2000)
- An Enhanced Priority Reservation Algorithm for ATM Multicast Switches with a One-Shot Scheduling Scheme