An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services.

Mohamed Oulaaffart, Remi Badonnel, Christophe Bianco

Browse the full NOMS paper archive.