{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T01:45:34Z","timestamp":1768700734933,"version":"3.49.0"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Naval Research Lab","award":["N00173-15-G017"],"award-info":[{"award-number":["N00173-15-G017"]}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DGE-1723440"],"award-info":[{"award-number":["DGE-1723440"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["OAC-1642031"],"award-info":[{"award-number":["OAC-1642031"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["SaTC-1528099"],"award-info":[{"award-number":["SaTC-1528099"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002403","name":"Taibah University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002403","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2022,9,1]]},"DOI":"10.1109\/tdsc.2021.3076424","type":"journal-article","created":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T20:07:46Z","timestamp":1619640466000},"page":"2890-2906","source":"Crossref","is-referenced-by-count":5,"title":["Object Oriented Policy Conflict Checking Framework in Cloud Networks (OOPC)"],"prefix":"10.1109","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7131-067X","authenticated-orcid":false,"given":"Ankur","family":"Chowdhary","sequence":"first","affiliation":[{"name":"School of Computing, Informatics, and Decision Systems Engineering (CIDSE), Arizona State University, Tempe, AZ, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6373-3584","authenticated-orcid":false,"given":"Abdulhakim","family":"Sabur","sequence":"additional","affiliation":[{"name":"School of Computing, Informatics, and Decision Systems Engineering (CIDSE), Arizona State University, Tempe, AZ, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3257-6349","authenticated-orcid":false,"given":"Dijiang","family":"Huang","sequence":"additional","affiliation":[{"name":"School of Computing, Informatics, and Decision Systems Engineering (CIDSE), Arizona State University, Tempe, AZ, USA"}]},{"given":"Myong","family":"Kang","sequence":"additional","affiliation":[{"name":"U.S. Naval Research Lab., Washington, DC, USA"}]},{"given":"James","family":"Kirby","sequence":"additional","affiliation":[{"name":"U.S. Naval Research Lab., Washington, DC, USA"}]}],"member":"263","reference":[{"key":"ref33","article-title":"Service function chaining simplified","author":"ghaznavi","year":"2016"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2656877.2656890"},{"key":"ref31","first-page":"351","article-title":"Onix: A distributed control platform for large-scale production networks","author":"koponen","year":"2010","journal-title":"Proc USENIX Conf Operating Syst Des Implementation"},{"key":"ref30","article-title":"Secure Virtual Network Configuration for Virtual Machine (VM) Protection","year":"2016","journal-title":"NIST Special Publication NIST Standard"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2015.09.035"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2017.43"},{"key":"ref10","first-page":"99","article-title":"Real time network policy checking using header space analysis","author":"kazemian","year":"2013","journal-title":"Proc Usenix Conf Netw Syst Des Implementation"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1180337.1180342"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44569-2_3"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2491185.2491203"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23013"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342466"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3143361.3143380"},{"key":"ref18","article-title":"A hacker gained access to 100 million capital one credit card applications and accounts","year":"0"},{"key":"ref19","first-page":"827","article-title":"Internet packet filter management and rectangle geometry","author":"eppstein","year":"2001","journal-title":"Proc 12th Ann ACM-SIAM Symp Discrete Algorithms"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2534169.2486011"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2006.1607877"},{"key":"ref27","article-title":"wuyangjack\/standford-backbone","year":"2019"},{"key":"ref3","first-page":"15","article-title":"VeriFlow: Verifying network-wide invariants in real time","author":"khurshid","year":"2013","journal-title":"Proc 10th USENIX Symp Netw Syst Des Implementation"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2620728.2620749"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/2602204.2602211"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2017.2726066"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23200"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2829988.2787506"},{"key":"ref2","article-title":"A survey of enterprise middlebox deployments","author":"sherry","year":"2012"},{"key":"ref9","article-title":"SICS: Secure in-cloud service function chaining","author":"wang","year":"2016"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2371999"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CNS.2016.7860466"},{"key":"ref22","article-title":"Barracuda Next Generation Firewall X","year":"2020"},{"key":"ref21","first-page":"1902","article-title":"A tractable first-order probabilistic logic","author":"domingos","year":"2012","journal-title":"Proc 26th AAAI Conf Artif Intell"},{"key":"ref24","article-title":"Zookeeper: Wait-free coordination for internet-scale systems","author":"hunt","year":"2010","journal-title":"Proc USENIX Conf on USENIX Annu Tech Conf"},{"key":"ref23","author":"frahim","year":"2014","journal-title":"Cisco ASA All-in-One Firewall IPS and VPN Adaptive Security Appliance"},{"key":"ref26","article-title":"Mininet virtual network","year":"2015"},{"key":"ref25","first-page":"113","article-title":"Header space analysis: Static checking for networks","author":"kazemian","year":"2012","journal-title":"Proc Usenix Conf Netw Syst Des Implementation"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/8858\/9872146\/9417685-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/9872146\/09417685.pdf?arnumber=9417685","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,22]],"date-time":"2022-09-22T22:52:12Z","timestamp":1663887132000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9417685\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,1]]},"references-count":35,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2021.3076424","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":[[2022,9,1]]}}}