Hania Gadouche

According to our database, Hania Gadouche authored at least 3 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

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

Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari

Int. J. Inf. Secur. Priv., 2020

Flexible QoS-aware services composition for service computing environments.

Mohamed Essaid Khanouche, Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari

Comput. Networks, 2020

2018

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

Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari

Proceedings of the Model and Data Engineering - 8th International Conference, 2018