{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T10:46:28Z","timestamp":1789901188961,"version":"4.0.1"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319035833","type":"print"},{"value":"9783319035840","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-03584-0_8","type":"book-chapter","created":{"date-parts":[[2013,11,7]],"date-time":"2013-11-07T10:17:57Z","timestamp":1383819477000},"page":"92-103","source":"Crossref","is-referenced-by-count":24,"title":["Towards a Security-Enhanced Firewall Application for OpenFlow Networks"],"prefix":"10.1007","author":[{"given":"Juan","family":"Wang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yong","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hongxin","family":"Hu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Qingxin","family":"Sun","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"He","family":"Shi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Longjie","family":"Zeng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Porras, P., Shin, S., Yegneswaran, V., Fong, M.: A Security Enforcement Kernel for OpenFlow Networks. In: Proc. of HotSDN 2012, pp. 123\u2013125 (2012)","DOI":"10.1145\/2342441.2342466"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Wen, X., Chen, Y., Hu, C., Shi, C.: Towards a Secure Controller Platform for OpenFlow. In: Proc. of HotSDN 2013 (2013)","DOI":"10.1145\/2491185.2491212"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Kreutz, D., Ramos, F., Verissimo, P.: Towards secure and dependable software-defined networks. In: Proc. of HotSDN 2013 (2013)","DOI":"10.1145\/2491185.2491199"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Son, S., Shin, S., Yegneswaran, V., Porras, P.: Model Checking Invariant Security Properties in OpenFlow. In: Proc. of ICC 2013, pp. 2\u20136 (2013)","DOI":"10.1109\/ICC.2013.6654813"},{"key":"8_CR5","unstructured":"Kazemian, P., Varghese, G., McKeown, N.: Header Space Analysis: Static Checking For Networks. In: Proceedings of the Symposium on Network Systems Design and Implementation (NSDI), pp. 3\u20135 (2012)"},{"key":"8_CR6","unstructured":"Kazemian, P., Chang, M., Zeng, H.: Real Time Network Policy Checking using Header Space Analysis. In: Proceedings of the Symposium on Network Systems Design and Implementation (NSDI), pp. 4\u20136 (2013)"},{"key":"8_CR7","unstructured":"Tootoonchian, A., Gorbunov, S., Ganjali, Y., Casado, M., Sherwood, R.: On controller performance in software-defined networks. In: Proceedings of the 2nd USENIX Workshop on Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services (Hot-ICE), pp. 4\u20136 (2012)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Al-shaer, E., Marrero, W., El-atawy, A., Elbadawi, K.: 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, pp. 125\u2013127 (2009)","DOI":"10.1109\/ICNP.2009.5339690"},{"key":"8_CR9","unstructured":"Canini, M., Venzano, D., Peresini, P., Kostic, D., Rexford, J.: A NICE Way to Test OpenFlow Applications. In: Proceedings of the Symposium on Network Systems Design and Implementation, pp. 3\u20135 (2012)"},{"key":"8_CR10","unstructured":"Cai, Z., Cox, A.L., Ng, T.E.: Maestro: A System for Scalable OpenFlow Control. In: Rice University Technical Report, pp.2-3 (2010)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Liu, A.: Formal Verification of Firewall Policies. In: Proceedings of the International Conference on Communications (ICC), pp. 1495\u20131497 (2008)","DOI":"10.1109\/ICC.2008.289"},{"key":"8_CR12","unstructured":"OpenFlow. OpenFlow 1.1.0 Specification, http:\/\/www.openflow.org\/documents\/openflow-spec-v1.1.0.pdf"},{"key":"8_CR13","unstructured":"OpenFlowHub. BEACON, www.openflowhub.org\/display\/Beacon"},{"key":"8_CR14","unstructured":"Sanfilippo, S.: HPing home page, http:\/\/www.hping.org"},{"key":"8_CR15","unstructured":"FloodLight, http:\/\/www.projectfloodlight.org\/documentation\/"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Kanizo, Y., Hay, D., Keslassy, I.: Palette: Distributing Tables in SofteWare-Defind Networks. In: Technical Report, pp. 1\u20133 (2012)","DOI":"10.1109\/INFCOM.2013.6566832"},{"key":"8_CR17","unstructured":"Clean Slate, http:\/\/cleanslate.stanford.edu\/"},{"key":"8_CR18","unstructured":"Mininet: An Instant Virtual Network on your Laptop (or other PC), http:\/\/mininet.org\/\/"}],"container-title":["Lecture Notes in Computer Science","Cyberspace Safety and Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03584-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,12]],"date-time":"2019-12-12T10:36:09Z","timestamp":1576146969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-03584-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319035833","9783319035840"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03584-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}