Formal methods meet Security in a Cost Efficient Cloud Brokerage Security

Formal methods meet Security in a Cost Efficient Cloud Brokerage Security

Avec la demande croissante sur les ressources Cloud, vient l'augmentation du nombre de fournisseurs de services Cloud. Ce qui rend le processus de choix entre les différents fournisseurs et offres difficile pour les clients potentiels.Le courtier Cloud proposé, est une entité tierce qui intermé...

Full description

Saved in:
Bibliographic Details
Main Author: Souaf, Salwa, 1993-
Other Authors: Berthomé, Pascal, 1967- (Thesis advisor, Opponent), Loulergue, Frédéric, 1973- (Thesis advisor, Opponent), Nguyen, Benjamin, 1976- (Opponent), Dubois, Catherine, 19..-...., informaticienne (Opponent), Mourlin, Fabrice, 1964- (Opponent), Laurent-Maknavicius, Maryline, 19..- (Opponent), Coullon, Hélène, 1984- (Opponent), Cambou, Bertrand (Opponent)
Format: Thèse numérique
Language:Anglais
Published: 2020.
Subjects:
Thèses et écrits académiques
Online Access:Accès au texte intégral
http://www.theses.fr/2020ISAB0005/abes
Note: Titre provenant de l'écran-titre
Ecole(s) Doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....)
Autre(s) contribution(s) : Benjamin Nguyen (Président du jury) ; Pascal Berthomé, Frédéric Loulergue, Benjamin Nguyen, Catherine Dubois, Fabrice Mourlin, Maryline Laurent-Maknavicius, Hélène Coullon, Bertrand Cambou (Membre(s) du jury) ; Catherine Dubois, Fabrice Mourlin (Rapporteur(s))
Autres localisations: Voir dans le Sudoc
Variante du titre:Methodes formelles et Sécurité en informatique en nuages

Similar Items

Similar Items