Hania Gadouche

Orcid: 0000-0002-5905-3831

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
A Valid and Correct-by-Construction Formal Specification of RBAC.
Int. J. Inf. Secur. Priv., 2020

Flexible QoS-aware services composition for service computing environments.
Comput. Networks, 2020

2018
A Correct-by-Construction Model for Attribute-Based Access Control.
Proceedings of the Model and Data Engineering - 8th International Conference, 2018


  Loading...