Thése doctorat

Formal modelling and verification of security policies in cloud computing

Hassiba Ben Attia ; Laid Kahloul, Directeur de thèse | Biskra [Algerie] : Mohamed Khider university of Biskra | 2019

Cette thèse aborde le problème de la modélisation/vérification formelles des politiques de sécurité dans le cloud computing. En effet, nos recherches portent sur la modélisation et la vérification des politiques de contrôle d’accès à l’aide de r[...]

Plus d'information...

Ajoutez avis

Consulter en ligne

Non prêtable