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...
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | , , , , |
| Formato: | Thèse numérique |
| Idioma: | Français |
| Publicado em: |
2016.
|
| Assuntos: | |
| Acesso em linha: | 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 |
| 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-....) 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 |