Towards Verified Cloud Computing Environments

Abstract : As the usage of cloud becomes pervasive in our lives, it is needed to ensure the reliability, safety and security of cloud environments. In this paper we study a usual software stack of a cloud environment from the perspective of formal verification. We argue that most of the layers could be practically formally verified, even if the work to verify all levels is huge.
Type de document :
Communication dans un congrès
International Conference on High Performance Computing and Simulation (HPCS), Jul 2012, Madrid, Spain. IEEE, 2012, International Conference on High Performance Computing and Simulation (HPCS)
Liste complète des métadonnées

https://hal.inria.fr/hal-00708821
Contributeur : Frédéric Loulergue <>
Soumis le : vendredi 15 juin 2012 - 19:03:24
Dernière modification le : lundi 24 septembre 2018 - 11:34:02

Identifiants

  • HAL Id : hal-00708821, version 1

Collections

Citation

Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre. Towards Verified Cloud Computing Environments. International Conference on High Performance Computing and Simulation (HPCS), Jul 2012, Madrid, Spain. IEEE, 2012, International Conference on High Performance Computing and Simulation (HPCS). 〈hal-00708821〉

Partager

Métriques

Consultations de la notice

181