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).