Saber Benhazrallah

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Security Policies

Top Venues

Int. J. Inf. Sec.

Publications

Ben Attia Hasiba, Laïd Kahloul, Saber Benhazrallah, Samir Bourekkache
Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies. Int. J. Inf. Sec. 19 (2) (2020)