A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Salwa Souaf, Pascal Berthomé, Frédéric Loulergue. A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations. In 2018 International Conference on High Performance Computing & Simulation, HPCS 2018, Orleans, France, July 16-20, 2018. pages 691-699, IEEE, 2018. [doi]

This author has not been identified. Look up 'Salwa Souaf' in GoogleThis author has not been identified. Look up 'Pascal Berthomé' in GoogleThis author has not been identified. Look up 'Frédéric Loulergue' in Google

runs on WebDSL