Hania Gadouche

Flexible QoS-aware services composition for service computing environments

Farah Zoubeyr, Abdelkamel Tari, Mohamed Essaid Khanouche, 2020, Comput. Networks.

A correct-by-construction model for attribute-based access control

Hania Gadouche, Abdelkamel Tari, Zoubeyr Farah, 2018, Cluster Computing.

A Correct-by-Construction Model for Attribute-Based Access Control

Farah Zoubeyr, Abdelkamel Tari, Hania Gadouche, 2018, MEDI.

A Valid and Correct-by-Construction Formal Specification of RBAC

Farah Zoubeyr, Abdelkamel Tari, Hania Gadouche, 2020, Int. J. Inf. Secur. Priv..