HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Formal Methods meet Security in a Cost Aware Cloud Brokerage Solution

Salwa Souaf 1, 2
1 SDS - Sécurité des Données et des Systèmes
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 LMV - Langages, Modèles et Vérification
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
Abstract : 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.
Document type :
Complete list of metadata

Contributor : Pascal Berthomé Connect in order to contact the contributor
Submitted on : Tuesday, March 22, 2022 - 11:42:13 AM
Last modification on : Tuesday, March 29, 2022 - 3:42:24 AM


Files produced by the author(s)


  • HAL Id : tel-03616187, version 1


Salwa Souaf. Formal Methods meet Security in a Cost Aware Cloud Brokerage Solution. Computer Science [cs]. INSA CVL - Institut National des Sciences Appliquées - Centre Val de Loire, 2020. English. ⟨tel-03616187⟩



Record views


Files downloads