Enforcing Security and Assurance Properties in Cloud Environment. - Aline Bousquet; Jérémy Briffaut; Eddy Caron; Eva María Domínguez; Javier Franco; Arnaud Lefray; Óscar López; Saioa Ros; Jonathan Rouzaud-Cornabas; Christian Toinard; Mikel Uriarte (UCC, 2015)