Arnaud Lefray: Security for Virtualized Distributed Systems : from Modelization to Deployment. (Sécurité des Systèmes Distribués Virtualisés : De la Modélisation au Déploiement). École normale supérieure de Lyon, France 2015