Methodes formelles et Sécurité en informatique en nuages

Formal methods meet Security in a Cost Efficient Cloud Brokerage Security

• Auteur / Autrice : Salwa Souaf
• Direction : Pascal Berthomé, Frédéric Loulergue
• Type : Thèse de doctorat
• Discipline(s) : 4200018 Informatique
• Date : Soutenance le 15/12/2020
• Etablissement(s) : Bourges, INSA Centre Val de Loire
• Ecole(s) doctorale(s) : École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire ; 2012-....)
• Jury : Président / Présidente : Benjamin Nguyen
• Jury : Examinateurs / Examinatrices : Pascal Berthomé, Frédéric Loulergue, Benjamin Nguyen, Catherine Dubois, Fabrice Mourlin, Maryline Laurent, Hélène Coullon, Bertrand Cambou
• Jury : Rapporteurs / Rapporteuses : Catherine Dubois, Fabrice Mourlin

Mots clés

Mots clés libres

Informatique en nuages

Sécurité

Méthodes formelles

Courtage infonuagique

Programmation linéaire

Cloud Computing

Security

Formal Methods

Cloud Brokerage

Linear Programming

Résumé

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édiaire la relation entre les clients et les fournisseurs Cloud. Le courtier guidera le client tout au long du processus d'intégration du Cloud. Notre courtier prend en considération les exigences fonctionnelles (c'est-à-dire la quantité et la description des ressources) et non fonctionnelles (c'est-à-dire les propriétés de sécurité) du client dés le premier contact. Après avoir reçu la description de la demande du client, notre courtier commence par vérifier sa cohérence et renvoie un contre-exemple en cas d'incohérences. Nous utilisons des méthodes formelles couplés avec de la programmation linéaire pour vérifier la consistance et trouver le placement approprié dans une fédération de Clouds. Après avoir communiqué l'emplacement trouvé, si il existe un, au client, ce dernier décidera soit d'accepter cette offre ou pas. Une fois que le courtier reçoit la confirmation du client le modèle sera prêt pour le déploiement.

With the growth of Cloud Computing, comes the growth of the number of companies offering different cloud services, which day after another causes the overwhelming of the consumers. Many researches have been conducted in order to assist consumers in the process of choosing the right provider based on several properties, but not many of them have succeeded in integrating the security aspect. We suggest a third party, namely Cloud broker, that will intermediate the relation between cloud customers and providers. The broker will guide the customer through the whole process of integrating the Cloud. Our broker find a cost efficient placement strategy while taking into consideration the functional and non-functional requirements of the customer. We use formal methods to verify the consistency of the customer's demand, matching techniques and linear modeling to find the appropriate placement in a federation of Clouds. In this thesis will be presented the full creation and thought process behind this brokerage solution, limitations encountered and solutions proposed.