A correct-by-construction model for attribute-based access control. - Hania Gadouche; Farah Zoubeyr; Abdelkamel Tari (Clust. Comput., 2020)

Flexible QoS-aware services composition for service computing environments. - Mohamed Essaid Khanouche; Hania Gadouche; Farah Zoubeyr; Abdelkamel Tari (Comput. Networks, 2020)

A Valid and Correct-by-Construction Formal Specification of RBAC. - Hania Gadouche; Farah Zoubeyr; Abdelkamel Tari (Int. J. Inf. Secur. Priv., 2020)