{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T07:47:36Z","timestamp":1759132056010},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/iscc.2016.7543791","type":"proceedings-article","created":{"date-parts":[[2016,8,18]],"date-time":"2016-08-18T16:35:08Z","timestamp":1471538108000},"page":"519-524","source":"Crossref","is-referenced-by-count":7,"title":["SDN verification plane for consistency establishment"],"prefix":"10.1109","author":[{"given":"Ali","family":"Hussein","sequence":"first","affiliation":[]},{"given":"Imad H.","family":"Elhajj","sequence":"additional","affiliation":[]},{"given":"Ali","family":"Chehab","sequence":"additional","affiliation":[]},{"given":"Ayman","family":"Kayssi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Formal Verification for Software-Defined Networking","author":"shin","year":"2013","journal-title":"Proceeding of IET"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2740070.2631439"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2070562.2070569"},{"key":"ref13","article-title":"Enforcing Customizable Consistency Properties in Software-Defined Networks","author":"wenxuan","year":"2015","journal-title":"USENIX NSDI"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IC2E.2014.72"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3103\/S0146411614070165"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2602204.2602209"},{"key":"ref17","article-title":"Proof-based Verification of Software Defined Networks","author":"chen","year":"2014","journal-title":"The Advanced Computing Systems Association (USENIX) Open Networking Summit (ONS)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TMPA.2013.7163715"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2774993.2775067"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594317"},{"key":"ref3","article-title":"VeriFlow: Verifying Network-Wide Invariants in Real Time","author":"ahmed","year":"2012","journal-title":"ACM SIGCOMM HotSDN"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.69"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CNS.2015.7346859"},{"key":"ref8","article-title":"Consistency Trade-offs for SDN Controllers","author":"dixon","year":"2014","journal-title":"OPEN DAYLIGHT Summit"},{"journal-title":"A Distributed SDN Control Plane for Consistent Policy Updates","year":"2014","author":"canini","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23064"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2535771.2535791"},{"key":"ref1","article-title":"SDN Security Plane: An Architecture for Resilient Security Services","author":"ali","year":"2016","journal-title":"Software Defined Syaytems (SDS)"},{"journal-title":"A Dynamic Algorithm for Loop Detection in Software Defined Networks","year":"2012","author":"kordalewski","key":"ref20"},{"journal-title":"Openvswitch","year":"0","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679403"},{"journal-title":"POX Controller","year":"0","key":"ref24"},{"journal-title":"Mininet","year":"0","key":"ref23"},{"year":"0","key":"ref26"},{"journal-title":"Timed Automata Semantics Algorithms And Tools","year":"2004","author":"desel","key":"ref25"}],"event":{"name":"2016 IEEE Symposium on Computers and Communication (ISCC)","start":{"date-parts":[[2016,6,27]]},"location":"Messina","end":{"date-parts":[[2016,6,30]]}},"container-title":["2016 IEEE Symposium on Computers and Communication (ISCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7536670\/7543699\/07543791.pdf?arnumber=7543791","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,26]],"date-time":"2019-04-26T00:17:09Z","timestamp":1556237829000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7543791\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/iscc.2016.7543791","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}