Formalism of the Access Control Model Based on the Marqued Petri Nets.
Abderrahim GhadiDriss MammassMaurice MignotteAlain SartoutPublished in: FGCN (2) (2008)
Keyphrases
- access control
- petri net
- fine grained
- discrete event systems
- data security
- dynamic access control
- petri net model
- security policies
- fuzzy petri net
- security mechanisms
- security model
- role based access control
- access control policies
- colored petri nets
- access control models
- service composition
- workflow systems
- rbac model
- security requirements
- database security
- privacy aware
- intelligent agents