Hania Gadouche

According to our database, Hania Gadouche authored at least 3 papers in 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

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

Hania Gadouche, Farah Zoubeyr, Abdelkamel Tari

Clust. Comput., 2020