{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T12:06:49Z","timestamp":1784290009626,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T00:00:00Z","timestamp":1344816000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,8,13]]},"DOI":"10.1145\/2342441.2342466","type":"proceedings-article","created":{"date-parts":[[2012,8,14]],"date-time":"2012-08-14T12:18:56Z","timestamp":1344946736000},"page":"121-126","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":373,"title":["A security enforcement kernel for OpenFlow networks"],"prefix":"10.1145","author":[{"given":"Philip","family":"Porras","sequence":"first","affiliation":[{"name":"SRI International, Menlo Park, California, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Seungwon","family":"Shin","sequence":"additional","affiliation":[{"name":"Texas A&M University, College Station, Texas, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vinod","family":"Yegneswaran","sequence":"additional","affiliation":[{"name":"SRI International, Menlo Park, California, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Fong","sequence":"additional","affiliation":[{"name":"SRI International, Menlo Park, California, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mabry","family":"Tyson","sequence":"additional","affiliation":[{"name":"SRI International, Menlo Park, California, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guofei","family":"Gu","sequence":"additional","affiliation":[{"name":"Texas A&M University, College Station, Texas, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,8,13]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1866898.1866905"},{"key":"e_1_3_2_2_2_1","volume-title":"Proceedings of the IEEE International Conference on Network Protocols","author":"E.","year":"2009","unstructured":"E. Al-shaer, W. Marrero , A. El-atawy, and K. Elbadawi . Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security . In Proceedings of the IEEE International Conference on Network Protocols , 2009 . E. Al-shaer, W. Marrero, A. El-atawy, and K. Elbadawi. Network Configuration in A Box: Towards End-to-End Verification of Network Reachability and Security. In Proceedings of the IEEE International Conference on Network Protocols, 2009."},{"key":"e_1_3_2_2_4_1","volume-title":"Proceedings of the Symposium on Network Systems Design and Implementation","author":"Canini M.","year":"2012","unstructured":"M. Canini , D. Venzano , P. Peresini , D. Kostic , and J. Rexford . A NICE Way to Test OpenFlow Applications . In Proceedings of the Symposium on Network Systems Design and Implementation , 2012 . M. Canini, D. Venzano, P. Peresini, D. Kostic, and J. Rexford. A NICE Way to Test OpenFlow Applications. In Proceedings of the Symposium on Network Systems Design and Implementation, 2012."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1282380.1282382"},{"key":"e_1_3_2_2_6_1","volume-title":"Proceedings of the Usenix Security Symposium","author":"Casado M.","year":"2006","unstructured":"M. Casado , T. Garfinkel , M. Freedman , A. Akella , D. Boneh , N. McKeowon , and S. Shenker . SANE: A Protection Architecture for Enterprise Networks . In Proceedings of the Usenix Security Symposium , 2006 . M. Casado, T. Garfinkel, M. Freedman, A. Akella, D. Boneh, N. McKeowon, and S. Shenker. SANE: A Protection Architecture for Enterprise Networks. In Proceedings of the Usenix Security Symposium, 2006."},{"key":"e_1_3_2_2_7_1","volume-title":"An Automated Framework for Validating Firewall Policy Enforcement. Technical report","author":"A.","year":"2007","unstructured":"A. El-atawy, T. Samak , Z. Wali , E. Al-shaer, F. Lin , C. Pham , and S. Li . An Automated Framework for Validating Firewall Policy Enforcement. Technical report , 2007 . A. El-atawy, T. Samak, Z. Wali, E. Al-shaer, F. Lin, C. Pham, and S. Li. An Automated Framework for Validating Firewall Policy Enforcement. Technical report, 2007."},{"key":"e_1_3_2_2_8_1","volume-title":"Proceedings of the Usenix Symposium on Network Systems Design and Implementation","author":"Feamster N.","year":"2005","unstructured":"N. Feamster and H. Balakrishnan . Detecting BGP Configuration Faults with Static Analysis . In Proceedings of the Usenix Symposium on Network Systems Design and Implementation , 2005 . N. Feamster and H. Balakrishnan. Detecting BGP Configuration Faults with Static Analysis. In Proceedings of the Usenix Symposium on Network Systems Design and Implementation, 2005."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1096536.1096541"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1384609.1384625"},{"key":"e_1_3_2_2_11_1","volume-title":"Proceedings of the Symposium on Network Systems Design and Implementation","author":"Kazemian P.","year":"2012","unstructured":"P. Kazemian , G. Varghese , and N. McKeown . Header Space Analysis: Static Checking for Networks . In Proceedings of the Symposium on Network Systems Design and Implementation , 2012 . P. Kazemian, G. Varghese, and N. McKeown. Header Space Analysis: Static Checking for Networks. In Proceedings of the Symposium on Network Systems Design and Implementation, 2012."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342452"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2008.289"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1355734.1355746"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868447.1868448"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592681.1592684"},{"key":"e_1_3_2_2_17_1","unstructured":"OpenFlow. OpenFlow 1.1.0 Specification. http:\/\/www.openflow.org\/documents\/openflow-spec-v1.1.0.pdf.  OpenFlow. OpenFlow 1.1.0 Specification. http:\/\/www.openflow.org\/documents\/openflow-spec-v1.1.0.pdf."},{"key":"e_1_3_2_2_18_1","unstructured":"OpenFlowHub. BEACON. http\/\/www.openflowhub.org\/display\/Beacon.  OpenFlowHub. BEACON. http\/\/www.openflowhub.org\/display\/Beacon."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070562.2070569"},{"key":"e_1_3_2_2_20_1","unstructured":"S. Sanfilippo. HPing home page. http:\/\/www.hping.org.  S. Sanfilippo. HPing home page. http:\/\/www.hping.org."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/11430230_16"},{"key":"e_1_3_2_2_22_1","volume-title":"Proceedings of the Usenix Symposium on Operating System Design and Implementation (OSDI)","author":"Sherwood R.","year":"2010","unstructured":"R. Sherwood , G. Gibb , K.-K. Yap , G. Appenzeller , M. Casado , N. McKeown , and G. Parulkar . Can the Production Network Be the Testbed . In Proceedings of the Usenix Symposium on Operating System Design and Implementation (OSDI) , 2010 . R. Sherwood, G. Gibb, K.-K. Yap, G. Appenzeller, M. Casado, N. McKeown, and G. Parulkar. Can the Production Network Be the Testbed. In Proceedings of the Usenix Symposium on Operating System Design and Implementation (OSDI), 2010."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2005.1498492"}],"event":{"name":"SIGCOMM '12: ACM SIGCOMM 2012 Conference","location":"Helsinki Finland","acronym":"SIGCOMM '12","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the first workshop on Hot topics in software defined networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2342441.2342466","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2342441.2342466","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:23Z","timestamp":1750238483000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2342441.2342466"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8,13]]},"references-count":22,"alternative-id":["10.1145\/2342441.2342466","10.1145\/2342441"],"URL":"https:\/\/doi.org\/10.1145\/2342441.2342466","relation":{},"subject":[],"published":{"date-parts":[[2012,8,13]]},"assertion":[{"value":"2012-08-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}