Mohamed Oulaaffart, Remi Badonnel, Christophe Bianco. An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services. In 2022 IEEE/IFIP Network Operations and Management Symposium, NOMS 2022, Budapest, Hungary, April 25-29, 2022. pages 1-9, IEEE, 2022. [doi]
@inproceedings{OulaaffartBB22,
title = {An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services},
author = {Mohamed Oulaaffart and Remi Badonnel and Christophe Bianco},
year = {2022},
doi = {10.1109/NOMS54207.2022.9789768},
url = {https://doi.org/10.1109/NOMS54207.2022.9789768},
researchr = {https://researchr.org/publication/OulaaffartBB22},
cites = {0},
citedby = {0},
pages = {1-9},
booktitle = {2022 IEEE/IFIP Network Operations and Management Symposium, NOMS 2022, Budapest, Hungary, April 25-29, 2022},
publisher = {IEEE},
isbn = {978-1-6654-0601-7},
}