Login / Signup

Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies.

Ben Attia HasibaLaïd KahloulSaber BenhazrallahSamir Bourekkache
Published in: Int. J. Inf. Sec. (2020)
Keyphrases
  • security policies
  • access control
  • petri net
  • real world
  • machine learning
  • database