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é...
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | , , , , , , , |
| Format: | Thèse numérique |
| Idioma: | Anglais |
| Publicat: |
2020.
|
| Matèries: | |
| Accés en línia: | Accès au texte intégral http://www.theses.fr/2020ISAB0005/abes |
| Nota: |
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 |