{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:55:04Z","timestamp":1742943304991,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319495798"},{"type":"electronic","value":"9783319495804"}],"license":[{"start":{"date-parts":[[2016,11,24]],"date-time":"2016-11-24T00:00:00Z","timestamp":1479945600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-49580-4_3","type":"book-chapter","created":{"date-parts":[[2016,11,23]],"date-time":"2016-11-23T05:54:04Z","timestamp":1479880444000},"page":"24-34","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Research on Network Policy Combination and Conflict Detection in SDN"],"prefix":"10.1007","author":[{"given":"Bohan","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ligang","family":"Dong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tijie","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuocheng","family":"Fei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huafei","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weiming","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,24]]},"reference":[{"issue":"4","key":"3_CR1","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1145\/1282427.1282404","volume":"37","author":"H Ballani","year":"2007","unstructured":"Ballani, H., Francis, P.: CONMan: a step towards network manageability. J. ACM SIGCOMM Comput. Commun. Rev. 37(4), 205\u2013216 (2007)","journal-title":"J. ACM SIGCOMM Comput. Commun. Rev."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Chen, X., Mao, Y., Mao, Z.M., et al.: Declarative configuration management for complex and dynamic networks. In: International Conference. ACM, pp. 1\u201312 (2010)","DOI":"10.1145\/1921168.1921176"},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/1090191.1080126","volume":"35","author":"BT Loo","year":"2005","unstructured":"Loo, B.T., Hellerstein, J.M., Stoica, I., et al.: Declarative routing: extensible routing with declarative queries. J. ACM SIGCOMM Comput. Commun. Rev. 35(4), 289\u2013300 (2005)","journal-title":"J. ACM SIGCOMM Comput. Commun. Rev."},{"key":"3_CR4","unstructured":"Doria, A., Salim, J.H., Haas, R., et al.: Forwarding and Control Element Separation (ForCES) Protocol Specification. In: IETF RFC 5810 (Proposed Standard) (2010)"},{"issue":"2","key":"3_CR5","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1355734.1355746","volume":"38","author":"N Mckeown","year":"2008","unstructured":"Mckeown, N., Andemon, T., Balakrishnan, H., et al.: OpenFlow: enabling innovation in campus networks. J. ACM SIGCOMM Comput. Commun. Rev. 38(2), 69\u201374 (2008)","journal-title":"J. ACM SIGCOMM Comput. Commun. Rev."},{"issue":"9","key":"3_CR6","first-page":"102","volume":"29","author":"Z Yi","year":"2013","unstructured":"Yi, Z., Yiqiang, H., Xiaofeng, H.: Characteristics, development and future of SDN. J. Telecommun. Sci. 29(9), 102\u2013107 (2013). (in Chinese)","journal-title":"J. Telecommun. Sci."},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/2103621.2103685","volume":"47","author":"C Monsanto","year":"2012","unstructured":"Monsanto, C., Foster, N., Harrison, R., et al.: A compiler and run-time system for network programming languages. J. ACM SIGPLAN Not. 47(1), 217\u2013230 (2012)","journal-title":"J. ACM SIGPLAN Not."},{"key":"3_CR8","unstructured":"Kim, H., Reich, J., Gupta, A., et al.: Kinetic: verifiable dynamic network control. In: USENIX NSDI 2015 (2015)"},{"issue":"5","key":"3_CR9","first-page":"128","volume":"38","author":"J Reich","year":"2013","unstructured":"Reich, J., Monsanto, C., Foster, N., et al.: Modular SDN programming with Pyretic. USENIX; login 38(5), 128\u2013134 (2013)","journal-title":"USENIX; login"},{"key":"3_CR10","unstructured":"OpenFlow Switch Specification Version 1.0. 0. OpenFlow Switch Consortium (2009)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Jin, X., Rexford, J., Walker, D.: Incremental update for a compositional SDN hypervisor. In: Third Workshop on Hot Topics in Software Defined Networking. ACM, pp. 187\u2013192 (2014)","DOI":"10.1145\/2620728.2620731"},{"issue":"9","key":"3_CR12","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1145\/2034574.2034812","volume":"46","author":"N Foster","year":"2011","unstructured":"Foster, N., Harrison, R., Freedman, M.J., et al.: Frenetic: a network programming language. ACM SIGPLAN Not. 46(9), 279\u2013291 (2011). ACM","journal-title":"ACM SIGPLAN Not."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Voellmy, A., Kim, H., Feamster, N.: Procera: a language for high-level reactive network control. In: Proceedings of the First Workshop on Hot Topics in Software Defined Networks. ACM, pp. 43\u201348 (2012)","DOI":"10.1145\/2342441.2342451"},{"key":"3_CR14","unstructured":"Hickey, J.: Introduction to the Objective Caml programming language. Verf\u00fcgbar unter. \n                    http:\/\/docs.happycoders.org\/html\/dev\/ocaml\/index.php"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Nilsson, H., Courtney, A., Peterson, J.: Functional reactive programming, continued. In: Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell. ACM, pp. 51\u201364 (2002)","DOI":"10.1145\/581690.581695"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Berry, G., Boudol, G.: The chemical abstract machine. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, pp. 81\u201394 (1989)","DOI":"10.1145\/96709.96717"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Testbeds and Research Infrastructures for the Development of Networks and Communities"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49580-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T09:35:48Z","timestamp":1558517748000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49580-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,24]]},"ISBN":["9783319495798","9783319495804"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49580-4_3","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2016,11,24]]},"assertion":[{"value":"24 November 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TridentCom","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Testbeds and Research Infrastructures","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hangzhou","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 June 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tridentcom2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/tridentcom.org\/2016\/show\/home","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}