Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

https://hal.inria.fr/hal-02317089
Contributor : Frédéric Loulergue <>
Submitted on : Tuesday, October 15, 2019 - 6:35:15 PM
Last modification on : Monday, November 30, 2020 - 5:48:18 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

114