Title :
Towards verified cloud computing environments
Author :
Loulergue, Frédéric ; Gava, Frederic ; Kosmatov, Nikolai ; Lemerre, Matthieu
Author_Institution :
LIFO, Univ. of Orleans, Orleans, France
Abstract :
As the usage of the 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. This software stack ranges from applications to the hypervisor. We argue that most of the layers could be practically formally verified, even if the work to verify all levels is huge.
Keywords :
cloud computing; formal verification; security of data; cloud computing; cloud environment reliability; cloud environment safety; cloud environment security; formal verification; hypervisor; software stack; Java; Kernel; Libraries; Security; Semantics; Virtual machine monitors; Cloud computing; Formal verification; Hypervisor;
Conference_Titel :
High Performance Computing and Simulation (HPCS), 2012 International Conference on
Conference_Location :
Madrid
Print_ISBN :
978-1-4673-2359-8
DOI :
10.1109/HPCSim.2012.6266896
