{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,12]],"date-time":"2025-07-12T01:07:31Z","timestamp":1752282451130},"reference-count":54,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/tdsc.2020.3041430","type":"journal-article","created":{"date-parts":[[2020,11,30]],"date-time":"2020-11-30T21:04:07Z","timestamp":1606770247000},"page":"1-1","source":"Crossref","is-referenced-by-count":4,"title":["VMGuard: State-based Proactive Verification of Virtual Network Isolation with Application to NFV"],"prefix":"10.1109","author":[{"given":"Gagandeep Singh","family":"Chawla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mengyuan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suryadipta","family":"Majumdar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yosr","family":"Jarraya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Makan","family":"Pourzandi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lingyu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Debbabi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"26","article-title":"Cloud radar: Near real-time detection of security failures in dynamic virtualized infrastructures","author":"bleikertz","year":"2015","journal-title":"Proc Comput Secur Appl Conf"},{"key":"ref38","first-page":"195","article-title":"Auditing security compliance of the virtualized infrastructure in the cloud: Application to OpenStack","author":"madi","year":"2015","journal-title":"Proc Conf Data Appl Secur Privacy"},{"key":"ref33","article-title":"A Java library of graph theory data structures and algorithms","year":"2019"},{"key":"ref32","article-title":"Definitions and examples","author":"wilson","year":"1979","journal-title":"Introduction to Graph Theory"},{"key":"ref31","article-title":"Java: Processes and threads","year":"2019"},{"key":"ref30","article-title":"Object copying","year":"2019"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837657"},{"key":"ref36","first-page":"47","article-title":"Proactive verification of security compliance for clouds through pre-computation: Application to OpenStack","author":"majumdar","year":"2015","journal-title":"Proc Euro Symp Res Computer Security"},{"key":"ref35","article-title":"Openstack user survey","year":"2017"},{"key":"ref34","article-title":"Openstack ceilometer project","year":"2019"},{"key":"ref28","article-title":"Genie and smile","year":"2019"},{"key":"ref27","article-title":"Tacker - OpenStack NFV Orchestration.","year":"0"},{"key":"ref29","article-title":"PyCADF: A python-based CADF library","year":"2019"},{"key":"ref2","article-title":"Security guidance for critical areas of focus in cloud computing v 4.0","year":"0"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2015.01.025"},{"key":"ref20","article-title":"Openstack congress","year":"2019"},{"key":"ref22","article-title":"OpenStack Documentations.","year":"0"},{"key":"ref21","article-title":"Network FunctionsVirtualisation (NFV) release 2; Protocols and data models; RESTful protocols specification for the Ve-Vnfm reference point","year":"0"},{"key":"ref24","article-title":"TOSCA simple profile for network functions virtualization (NFV)","year":"0"},{"key":"ref23","article-title":"Open standards, Open source.","year":"0"},{"key":"ref26","article-title":"Trees I:Radix trees","author":"corbet","year":"2018"},{"key":"ref25","article-title":"Heat: OpenStack Orchestration","year":"0"},{"key":"ref50","first-page":"15","article-title":"VeriFlow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc USENIX Symp Netw Syst Des Implementation"},{"key":"ref51","first-page":"113","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proc USENIX Symp Netw Syst Des Implementation"},{"key":"ref54","first-page":"87","article-title":"Libra: Divide and conquer to verify forwarding tables in huge networks","author":"zeng","year":"2014","journal-title":"Proc USENIX Symp Netw Syst Des Implementation"},{"key":"ref53","first-page":"469","article-title":"A general approach to network configuration analysis","author":"fogel","year":"2015","journal-title":"Proc USENIX Symp Netw Syst Des Implementation"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/2934872.2934876"},{"key":"ref10","article-title":"ISO 27002:2005. Information technology-security techniques","year":"2005"},{"key":"ref11","article-title":"ISO 27017. Information technology- security techniques","year":"2013"},{"key":"ref40","article-title":"AWS EC2","year":"2019"},{"key":"ref12","article-title":"Cloud control matrix CCM v3.0.1","year":"2014"},{"key":"ref13","first-page":"499","article-title":"Checking beliefs in dynamic networks","author":"lopes","year":"2015","journal-title":"Proc USENIX Symp Netw Syst Des Implementation"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23365"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2818000.2818034"},{"key":"ref16","first-page":"265","article-title":"LeaPS: Learning-based proactive security auditing for clouds","author":"majumdar","year":"2015","journal-title":"Proc Euro Symp Res Computer Security"},{"key":"ref17","article-title":"OpenStack : Cloud operating system","year":"2019"},{"key":"ref18","article-title":"OSSA-2014–008: Routers can be cross plugged by other tenants","year":"0"},{"key":"ref19","article-title":"Nova network security group changes are not applied to running instances","year":"2015"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1721654.1721672"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s13174-010-0007-6"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.cosrev.2019.05.002","article-title":"On cloud security requirements, threats, vulnerabilities and countermeasures: A survey","volume":"33","author":"kumar","year":"2019","journal-title":"Comput Sci Rev"},{"key":"ref5","article-title":"Network functions virtualisation","year":"0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2016.2556979"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2017.8066732"},{"key":"ref49","first-page":"99","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proc USENIX Symp Netw Syst Des Implementation"},{"key":"ref9","article-title":"Amazon web services: Overview of security processes","year":"2017"},{"key":"ref46","article-title":"OpenStack networking API v2.0","year":"2018"},{"key":"ref45","article-title":"OpenStack networking API v2.0","year":"2018"},{"key":"ref48","article-title":"OpenStack networking API v2.0","year":"2018"},{"key":"ref47","article-title":"OpenStack networking API v2.0","year":"2018"},{"key":"ref42","article-title":"Microsoft azure","year":"2019"},{"key":"ref41","article-title":"Google cloud platofrm","year":"2019"},{"key":"ref44","article-title":"OpenStack networking API v2.0","year":"2018"},{"key":"ref43","article-title":"VMware cloud","year":"2019"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/4358699\/09273224.pdf?arnumber=9273224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T21:33:44Z","timestamp":1643319224000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9273224\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":54,"URL":"https:\/\/doi.org\/10.1109\/tdsc.2020.3041430","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}