{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:54:46Z","timestamp":1730343286455,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,11,2]]},"DOI":"10.23919\/cnsm50824.2020.9269124","type":"proceedings-article","created":{"date-parts":[[2020,11,30]],"date-time":"2020-11-30T21:36:55Z","timestamp":1606772215000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["A Comprehensive Solution for the Analysis, Validation and Optimization of SDN Data-Plane Configurations"],"prefix":"10.23919","author":[{"given":"Wejdene","family":"Saied","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Faouzi","family":"Jaidi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adel","family":"Bouhoula","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/sec.1737"},{"key":"ref11","article-title":"FLOWGUARD: building robust firewalls for software-defined networks","author":"hongxin","year":"2014","journal-title":"HotSDN"},{"key":"ref12","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"USENIX"},{"key":"ref13","article-title":"Veriflow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"USENIX"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"ref15","article-title":"Staying persistent in software defined networks","author":"pickett","year":"2015","journal-title":"Black Hat Briefings"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2013.6733614"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2413176.2413205"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620742"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISDFS.2019.8757542"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-22277-2_14"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-13-8614-5_2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/SOFTCOM.2019.8903846"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2018.2853593"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"101597","DOI":"10.1016\/j.cose.2019.101597","volume":"87","author":"hongxin","year":"2019","journal-title":"Computers & Security"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2020.2986956"},{"key":"ref9","first-page":"247","article-title":"Flowtable pipeline misconfigurations in software defined networks","author":"yamansavascilar","year":"2017","journal-title":"IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)"},{"key":"ref1","first-page":"227","article-title":"Packet Reachability Verification in Open-Flow Networks","author":"yoshiura","year":"0"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1866898.1866905"},{"key":"ref22","article-title":"Vericon: Towards verifying controller programs in software-defined networks","author":"ball","year":"2014","journal-title":"PLDI"},{"key":"ref21","article-title":"Mind the Gap: Monitoring the Control-Data Plane Consistency in Software Defined Networks","author":"peng","year":"2016","journal-title":"Conext"},{"key":"ref24","article-title":"OFRewind: Enabling record and replay troubleshooting for networks","author":"wundsam","year":"2011","journal-title":"USENIX"},{"key":"ref23","article-title":"A NICE way to test Openflow applications","author":"canini","year":"2012","journal-title":"USENIX"},{"journal-title":"Hassel the header space library","year":"2020","key":"ref26"},{"journal-title":"All-in-one sdn app development starter vm","year":"2019","key":"ref25"}],"event":{"name":"2020 16th International Conference on Network and Service Management (CNSM)","start":{"date-parts":[[2020,11,2]]},"location":"Izmir, Turkey","end":{"date-parts":[[2020,11,6]]}},"container-title":["2020 16th International Conference on Network and Service Management (CNSM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9269033\/9269034\/09269124.pdf?arnumber=9269124","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,25]],"date-time":"2022-01-25T23:02:36Z","timestamp":1643151756000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9269124\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,2]]},"references-count":26,"URL":"https:\/\/doi.org\/10.23919\/cnsm50824.2020.9269124","relation":{},"subject":[],"published":{"date-parts":[[2020,11,2]]}}}