DocumentCode
2953587
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
fYear
2012
fDate
2-6 July 2012
Firstpage
91
Lastpage
97
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;
fLanguage
English
Publisher
ieee
Conference_Titel
High Performance Computing and Simulation (HPCS), 2012 International Conference on
Conference_Location
Madrid
Print_ISBN
978-1-4673-2359-8
Type
conf
DOI
10.1109/HPCSim.2012.6266896
Filename
6266896
Link To Document