{"id":"https://openalex.org/W4282929725","doi":"https://doi.org/10.1109/noms54207.2022.9789768","title":"An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services","display_name":"An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services","publication_year":2022,"publication_date":"2022-04-25","ids":{"openalex":"https://openalex.org/W4282929725","doi":"https://doi.org/10.1109/noms54207.2022.9789768"},"language":"en","primary_location":{"id":"doi:10.1109/noms54207.2022.9789768","is_oa":false,"landing_page_url":"https://doi.org/10.1109/noms54207.2022.9789768","pdf_url":null,"source":{"id":"https://openalex.org/S4363605650","display_name":"NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/7447765","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000058116","display_name":"Mohamed Oulaaffart","orcid":null},"institutions":[{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]},{"id":"https://openalex.org/I4210127166","display_name":"Centre Inria de l'Universit\u00e9 de Lorraine","ror":"https://ror.org/03fcjvn64","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210127166"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Mohamed Oulaaffart","raw_affiliation_strings":["University of Lorraine,RESIST Research Team LORIA / INRIA Nancy Grand Est,Villers-les-Nancy,France,54600"],"affiliations":[{"raw_affiliation_string":"University of Lorraine,RESIST Research Team LORIA / INRIA Nancy Grand Est,Villers-les-Nancy,France,54600","institution_ids":["https://openalex.org/I4210127166","https://openalex.org/I90183372","https://openalex.org/I1326498283","https://openalex.org/I4210121838"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077257372","display_name":"R\u00e9mi Badonnel","orcid":"https://orcid.org/0000-0001-9213-4695"},"institutions":[{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]},{"id":"https://openalex.org/I4210127166","display_name":"Centre Inria de l'Universit\u00e9 de Lorraine","ror":"https://ror.org/03fcjvn64","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210127166"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Remi Badonnel","raw_affiliation_strings":["University of Lorraine,RESIST Research Team LORIA / INRIA Nancy Grand Est,Villers-les-Nancy,France,54600"],"affiliations":[{"raw_affiliation_string":"University of Lorraine,RESIST Research Team LORIA / INRIA Nancy Grand Est,Villers-les-Nancy,France,54600","institution_ids":["https://openalex.org/I4210127166","https://openalex.org/I90183372","https://openalex.org/I1326498283","https://openalex.org/I4210121838"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017768202","display_name":"Christophe Bianco","orcid":null},"institutions":[{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]},{"id":"https://openalex.org/I4210127166","display_name":"Centre Inria de l'Universit\u00e9 de Lorraine","ror":"https://ror.org/03fcjvn64","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210127166"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christophe Bianco","raw_affiliation_strings":["University of Lorraine,RESIST Research Team LORIA / INRIA Nancy Grand Est,Villers-les-Nancy,France,54600"],"affiliations":[{"raw_affiliation_string":"University of Lorraine,RESIST Research Team LORIA / INRIA Nancy Grand Est,Villers-les-Nancy,France,54600","institution_ids":["https://openalex.org/I4210127166","https://openalex.org/I90183372","https://openalex.org/I1326498283","https://openalex.org/I4210121838"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5000058116"],"corresponding_institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210121838","https://openalex.org/I4210127166","https://openalex.org/I90183372"],"apc_list":null,"apc_paid":null,"fwci":0.8772,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.75289575,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11614","display_name":"Cloud Data Security Solutions","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.8665351867675781},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.777936577796936},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6143325567245483},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5125637054443359},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.49628597497940063},{"id":"https://openalex.org/keywords/orchestration","display_name":"Orchestration","score":0.48938530683517456},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4199076294898987},{"id":"https://openalex.org/keywords/provisioning","display_name":"Provisioning","score":0.4184330105781555},{"id":"https://openalex.org/keywords/cloud-computing-security","display_name":"Cloud computing security","score":0.41524267196655273},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2582622170448303},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2316015064716339},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0949021577835083}],"concepts":[{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.8665351867675781},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.777936577796936},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6143325567245483},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5125637054443359},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.49628597497940063},{"id":"https://openalex.org/C199168358","wikidata":"https://www.wikidata.org/wiki/Q3367000","display_name":"Orchestration","level":3,"score":0.48938530683517456},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4199076294898987},{"id":"https://openalex.org/C172191483","wikidata":"https://www.wikidata.org/wiki/Q1071806","display_name":"Provisioning","level":2,"score":0.4184330105781555},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.41524267196655273},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2582622170448303},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2316015064716339},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0949021577835083},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/noms54207.2022.9789768","is_oa":false,"landing_page_url":"https://doi.org/10.1109/noms54207.2022.9789768","pdf_url":null,"source":{"id":"https://openalex.org/S4363605650","display_name":"NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium","raw_type":"proceedings-article"},{"id":"pmh:oai:zenodo.org:7447765","is_oa":true,"landing_page_url":"https://zenodo.org/record/7447765","pdf_url":"https://zenodo.org/record/7447765","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:7447765","is_oa":true,"landing_page_url":"https://zenodo.org/record/7447765","pdf_url":"https://zenodo.org/record/7447765","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4282929725.pdf","grobid_xml":"https://content.openalex.org/works/W4282929725.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W1603725294","https://openalex.org/W1983531171","https://openalex.org/W2005430048","https://openalex.org/W2005799871","https://openalex.org/W2041696954","https://openalex.org/W2072209700","https://openalex.org/W2076802856","https://openalex.org/W2139058102","https://openalex.org/W2582140688","https://openalex.org/W2743642761","https://openalex.org/W2755261367","https://openalex.org/W2808524294","https://openalex.org/W2858316688","https://openalex.org/W2887921940","https://openalex.org/W2895149331","https://openalex.org/W2901613237","https://openalex.org/W2906611830","https://openalex.org/W2957327189","https://openalex.org/W2969692307","https://openalex.org/W4231760669","https://openalex.org/W4287180680","https://openalex.org/W6651841943","https://openalex.org/W6732751426","https://openalex.org/W6753909801","https://openalex.org/W6757313673","https://openalex.org/W6798369466"],"related_works":["https://openalex.org/W79913212","https://openalex.org/W2094884983","https://openalex.org/W2378898096","https://openalex.org/W560952460","https://openalex.org/W2290927522","https://openalex.org/W4283579741","https://openalex.org/W3066706303","https://openalex.org/W876159576","https://openalex.org/W2943612818","https://openalex.org/W4241787744"],"abstract_inverted_index":{"The":[0],"growing":[1],"maturity":[2],"of":[3,11,51,99,109,151],"orchestration":[4],"languages":[5],"is":[6],"contributing":[7],"to":[8,29,37,125],"the":[9,49,73,77,97,107,115,127,160],"elaboration":[10],"cloud":[12,39,79,102,177],"composite":[13,25,103],"services,":[14,104],"whose":[15],"resources":[16,54,100,129],"may":[17,55,67,71],"be":[18,56],"deployed":[19,175],"over":[20,31,159],"different":[21],"distributed":[22],"infrastructures.":[23],"These":[24,165],"services":[26],"are":[27,34],"subject":[28],"changes":[30,62],"time,":[32],"that":[33,70,82],"typically":[35],"required":[36],"support":[38],"properties,":[40],"such":[41],"as":[42],"scalability":[43],"and":[44,105,130,137,146],"rapid":[45],"elasticity.":[46],"In":[47,81],"particular,":[48],"migration":[50,66,98],"their":[52],"elementary":[53],"triggered":[57],"by":[58,64],"performance":[59],"constraints.":[60],"However,":[61],"induced":[63],"this":[65],"introduce":[68],"vulnerabilities":[69],"compromise":[72],"resources,":[74],"or":[75],"even":[76],"whole":[78],"service.":[80],"context,":[83],"we":[84],"propose":[85],"an":[86],"automated":[87],"SMT":[88,121],"<sup":[89],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[90],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">1</sup>":[91],"-based":[92],"security":[93,117,139],"framework":[94],"for":[95],"supporting":[96],"in":[101,123,176],"preventing":[106],"occurrence":[108],"new":[110],"configuration":[111],"vulnerabilities.":[112],"We":[113,141],"formalize":[114],"underlying":[116],"automation":[118],"based":[119,153],"on":[120,154],"solving,":[122],"order":[124],"assess":[126],"migrated":[128],"select":[131],"adequate":[132],"counter-measures,":[133],"considering":[134],"both":[135],"endogenous":[136],"exogenous":[138],"mechanisms.":[140],"then":[142],"evaluate":[143],"its":[144],"benefits":[145],"limits":[147],"through":[148],"large":[149],"series":[150],"experiments":[152,166],"a":[155,168],"proof-of-concept":[156],"prototype":[157],"implemented":[158],"CVC4":[161],"commonly-used":[162],"open-source":[163],"solver.":[164],"show":[167],"minimal":[169],"overhead":[170],"with":[171],"regular":[172],"operating":[173],"systems":[174],"environments.":[178]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}