Pascal Berthomé

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

2018

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 …