{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,23]],"date-time":"2025-07-23T12:44:06Z","timestamp":1753274646013},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,25]],"date-time":"2022-04-25T00:00:00Z","timestamp":1650844800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,4,25]]},"DOI":"10.1109\/noms54207.2022.9789768","type":"proceedings-article","created":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T21:21:22Z","timestamp":1654809682000},"page":"1-9","source":"Crossref","is-referenced-by-count":5,"title":["An Automated SMT-based Security Framework for Supporting Migrations in Cloud Composite Services"],"prefix":"10.1109","author":[{"given":"Mohamed","family":"Oulaaffart","sequence":"first","affiliation":[{"name":"University of Lorraine,RESIST Research Team LORIA \/ INRIA Nancy Grand Est,Villers-les-Nancy,France,54600"}]},{"given":"Remi","family":"Badonnel","sequence":"additional","affiliation":[{"name":"University of Lorraine,RESIST Research Team LORIA \/ INRIA Nancy Grand Est,Villers-les-Nancy,France,54600"}]},{"given":"Christophe","family":"Bianco","sequence":"additional","affiliation":[{"name":"University of Lorraine,RESIST Research Team LORIA \/ INRIA Nancy Grand Est,Villers-les-Nancy,France,54600"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Virtual Machine Migration Based Load Balancing for Resource Management and Scalability in Cloud Environment","author":"shahapure","year":"2018","journal-title":"International Journal of Information Technology"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/NETSOFT.2019.8806623"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2014.6838309"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2013.70"},{"key":"ref14","article-title":"A Semi-Automatic and Trustworthy Scheme for Continuous Cloud Service Certification","author":"anisetti","year":"2017","journal-title":"IEEE Transactions on Services Computing"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2018.2867827"},{"key":"ref16","article-title":"Leveraging Network Functions Virtualization Orchestrators to Achieve Software-Defined Access Control in the Clouds","author":"pattaranantakul","year":"2018","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/Trustcom.2015.486"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2013.195"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/NETSOFT.2017.8004195"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2927076"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2017.08.010"},{"article-title":"TOSCA Simple Profile in YAML Version 1.3","year":"2020","author":"lipton","key":"ref6"},{"key":"ref5","first-page":"113","article-title":"Security Issues in Cloud Environments - a Survey","author":"fernandes","year":"2013","journal-title":"International Journal of Information Security"},{"key":"ref8","article-title":"Defining Cloud Services Workflow: a Comparison between TOSCA and OpenStack Hot","author":"esposito","year":"2015","journal-title":"Proceedings of the International Conference on Complex Intelligent and Software Intensive Systems"},{"key":"ref7","article-title":"Towards Automating Security Enhancement for Cloud Services","author":"oulaaffart","year":"2021","journal-title":"Proceedings of the International Symposium on Integrated Network Management (IM 2021) IFIP Digital Library"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2882651"},{"first-page":"283","article-title":"AWS CloudFormation - API Reference","year":"0","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1155\/2018\/1681908"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/NCCA.2011.23"},{"journal-title":"The OVAL Language Specification Version 5 11 2","year":"2016","author":"baker","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2012.256"},{"article-title":"About CVC4","year":"2020","author":"barbosa","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.SP.800-126r3"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2010.13"}],"event":{"name":"NOMS 2022-2022 IEEE\/IFIP Network Operations and Management Symposium","start":{"date-parts":[[2022,4,25]]},"location":"Budapest, Hungary","end":{"date-parts":[[2022,4,29]]}},"container-title":["NOMS 2022-2022 IEEE\/IFIP Network Operations and Management Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9789703\/9789704\/09789768.pdf?arnumber=9789768","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T20:09:50Z","timestamp":1656965390000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9789768\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,25]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/noms54207.2022.9789768","relation":{},"subject":[],"published":{"date-parts":[[2022,4,25]]}}}