{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T21:52:09Z","timestamp":1755035529976},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/rndm.2015.7325238","type":"proceedings-article","created":{"date-parts":[[2015,11,12]],"date-time":"2015-11-12T23:12:08Z","timestamp":1447369928000},"page":"259-265","source":"Crossref","is-referenced-by-count":11,"title":["Detection and prevention of firewall-rule conflicts on software-defined networking"],"prefix":"10.1109","author":[{"given":"Ferney A.","family":"Maldonado-Lopez","sequence":"first","affiliation":[]},{"given":"Eusebi","family":"Calle","sequence":"additional","affiliation":[]},{"given":"Yezid","family":"Donoso","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611973075.86"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868466"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"ref13","first-page":"60","article-title":"Model Checking Firewall Policy Configurations Policies for Distributed Systems and Networks","author":"jeffrey","year":"2009","journal-title":"2009 POLICY 2009 IEEE International Symposium on"},{"key":"ref14","article-title":"VeriFlow: Verifying Network-Wide Invariants in Real Time","author":"khurshid","year":"2013","journal-title":"7th USENIX Symposium on Networked System Design and Implementation (NSDI)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620749"},{"key":"ref16","article-title":"Real time Network Policy Checking Using Header Space Analysis","author":"kazemanian","year":"2013","journal-title":"Proceeding on Network System Design and Implementation (NSDI) USENIX Association"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.16"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44880-2_1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2010.29"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2004.1354680"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10371-6_1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1402946.1402972"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-415815-3.00028-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19125-1_2"}],"event":{"name":"2015 7th International Workshop on Reliable Networks Design and Modeling (RNDM)","start":{"date-parts":[[2015,10,5]]},"location":"Munich, Germany","end":{"date-parts":[[2015,10,7]]}},"container-title":["2015 7th International Workshop on Reliable Networks Design and Modeling (RNDM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7311668\/7324297\/07325238.pdf?arnumber=7325238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T04:43:51Z","timestamp":1490417031000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7325238\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/rndm.2015.7325238","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}