A new hybrid access control model for multi-domain systems. - Ben Attia Hasiba; Laid Kahloul; Saber Benharzallah (CoDIT, 2017)

A New Hybrid Access Control Model for Security Policies in Multimodal Applications Environments. - Ben Attia Hasiba; Laid Kahloul; Saber Benharzallah (J. Univers. Comput. Sci., 2018)

Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies. - Ben Attia Hasiba; Laid Kahloul; Saber Benhazrallah; Samir Bourekkache (Int. J. Inf. Sec., 2020)

Correction to: Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies. - Ben Attia Hasiba; Laid Kahloul; Saber Benharzallah; Samir Bourekkache (Int. J. Inf. Sec., 2020)