Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool.
Laïd KahloulKarim DjouaniWalid TfailiAllaoua ChaouiYacine AmiratPublished in: NDT (2) (2010)
Keyphrases
- colored petri nets
- petri net
- security policies
- access control
- access control policies
- access control systems
- sequence diagrams
- security management
- role based access control
- fine grained
- security requirements
- access control mechanism
- conflict resolution
- network security
- rbac model
- security concerns
- web services
- data security
- distributed systems
- information systems
- multilevel secure
- security mechanisms
- mandatory access control