Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Suggerer acquisition Affiner la recherche
Thése doctorat
Hasiba Benattia, Auteur ; Laïd Kahloul, Directeur de thèse ; Saber Benharzalah, Directeur de thèse | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider | 2019This thesis tackles the problem of formal modelling and verification of security policies in cloud computing. Indeed, our research focuses on the modelling and the verification of access control policies using Coloured Petri Nets (CPNs). Due [...]
