Formal Methods meet Security in a Cost Aware Cloud Brokerage Solution
Méthodes formelles et Sécurité en informatique en nuages
Résumé
With the growth of Cloud Computing comes the growth of the number of companies offering different cloud services, which day after another causes overwhelming of the consumers. Many researchers 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 Broket, 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 finds 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.
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 est intermédiaire dans 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ées 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é,s'il en 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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|