Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage

Abstract : The number of cloud offerings increases rapidly. Therefore, it is difficult for clients to select the adequate cloud providers which fit their needs. In this thesis, we introduce a cloud service brokerage mechanism that considers the client security requirements. We consider two types of the client requirements. The amount of resources is represented by the functional requirements. The non-functional requirements consist on security properties and placement constraints. The requirements and the offers are specified using the Alloy language. To eliminate inner conflicts within customers requirements, and to match the cloud providers offers with these customers requirements, we use a formal analysis tool: Alloy. The broker uses a matching algorithm to place the required resources in the adequate cloud providers, in a way that fulfills all customer requirements, including security properties. The broker checks that the placement configuration ensures all the security requirements. All these steps are done before the resources deployment in the cloud computing. This allows to detect the conflicts and errors in the clients requirements, thus resources vulnerabilities can be avoided after the deployment.
Document type :
Theses
Complete list of metadatas

Cited literature [158 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01431183
Contributor : Abes Star <>
Submitted on : Tuesday, January 10, 2017 - 3:35:06 PM
Last modification on : Thursday, January 17, 2019 - 3:10:02 PM
Long-term archiving on : Tuesday, April 11, 2017 - 4:10:57 PM

File

asma-guesmi_3166.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01431183, version 1

Collections

Citation

Asma Guesmi. Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage. Cryptographie et sécurité [cs.CR]. Université d'Orléans, 2016. Français. ⟨NNT : 2016ORLE2010⟩. ⟨tel-01431183⟩

Share

Metrics

Record views

345

Files downloads

757