Marco Anisetti, Claudio A. Ardagna, Ernesto Damiani, Filippo Gaudenzi, Roberto Veca: Toward Security and Performance Certification of Open Stack. CLOUD 2015: 564-571