Oulaaffart, M. ., Badonnel, R. ., & Bianco, C. . (2022). An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services. In NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium (pp. 1–9).