Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage
Les offres de l informatique en nuage augmentent de plus en plus et les clients ne sont pas capables de lescomparer afin de choisir la plus adaptée à leurs besoins. De plus, les garanties de sécurité proposées parles fournisseurs restent incompréhensibles pour les clients. Cela représente un frein p...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | , , , , |
| Médium: | Thèse numérique |
| Jazyk: | Français |
| Vydáno: |
2016.
|
| Témata: | |
| On-line přístup: | Accès au texte intégral https://theses.univ-orleans.fr/public/2016ORLE2010_va.pdf http://www.theses.fr/2016ORLE2010/abes https://theses.hal.science/tel-01431183 |
| Poznámka: |
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-....) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire) Autre(s) contribution(s) : Maryline Laurent-Maknavicius (Président du jury) ; Pascal Berthomé, Frédéric Loulergue, Maryline Laurent-Maknavicius, Fabrice Mourlin, Hervé Guyennet, Patrice Clemente (Membre(s) du jury) ; Fabrice Mourlin, Hervé Guyennet (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Formal specification and analysis of security policies in a cloud brokerage process |