An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Mohamed Oulaaffart' in GoogleThis author has not been identified. Look up 'Remi Badonnel' in GoogleThis author has not been identified. Look up 'Christophe Bianco' in Google

runs on WebDSL