Conference Papers Year : 2018

A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations

Abstract

Cloud Computing has known in the past few years a fast development, leading to a spike in the number of companies competing on providing the best Cloud services. This makes it harder for potential Cloud customers to chose the adequate provider. Despite its wide adoption, many are still hesitant due to the security issues Cloud Computing poses. In this paper, we propose a brokerage solution that formalizes security properties under the form of inter-VM relations, and gives the possibility of setting these security requirements to its customers from the first steps. This solution uses formal methods and the finite model finder KodKod to verify the consistency of the customer's requirements, and to find a placement for his deployment model.
No file

Dates and versions

hal-02317089 , version 1 (15-10-2019)

Identifiers

Cite

Salwa Souaf, Pascal Berthomé, Frédéric Loulergue. A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations. 2018 International Conference on High Performance Computing & Simulation (HPCS), Jul 2018, Orleans, France. pp.691-699, ⟨10.1109/HPCS.2018.00113⟩. ⟨hal-02317089⟩
121 View
0 Download

Altmetric

Share

More