{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T17:11:45Z","timestamp":1769274705391,"version":"3.49.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,8,12]],"date-time":"2023-08-12T00:00:00Z","timestamp":1691798400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,12]],"date-time":"2023-08-12T00:00:00Z","timestamp":1691798400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,8,12]]},"DOI":"10.1109\/ccis59572.2023.10263079","type":"proceedings-article","created":{"date-parts":[[2023,10,2]],"date-time":"2023-10-02T17:43:21Z","timestamp":1696268601000},"page":"164-175","source":"Crossref","is-referenced-by-count":4,"title":["A Policy Conflict Detection Mechanism for Intent-based Networking"],"prefix":"10.1109","author":[{"given":"Bo","family":"Li","sequence":"first","affiliation":[{"name":"Power Dispatching Control Center Guangdong Power Grid Co., Ltd,Guangzhou,China"}]},{"given":"Xiaozhi","family":"Deng","sequence":"additional","affiliation":[{"name":"Power Dispatching Control Center Guangdong Power Grid Co., Ltd,Guangzhou,China"}]},{"given":"Peiming","family":"Zhang","sequence":"additional","affiliation":[{"name":"Power Dispatching Control Center Guangdong Power Grid Co., Ltd,Guangzhou,China"}]}],"member":"263","reference":[{"key":"ref13","article-title":"Intent: Don’t Tell Me What to Do! (Tell Me What You Want)","year":"0"},{"key":"ref12","article-title":"Research on several security issues in software-defined networks [D]","author":"chanchan","year":"2018","journal-title":"Beijing Jiaotong University"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.23919\/CNSM.2017.8255981"},{"key":"ref14","year":"2018","journal-title":"Towards Intent-Based Networking"},{"key":"ref11","article-title":"Research on Reliability Guarantee Mechanism of Software Defined Network [D]","author":"pengzhan","year":"2018","journal-title":"University of Science and Technology of China"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2018.8638149"},{"key":"ref2","article-title":"Intent-driven 6G radio access network","volume":"4","author":"yangcheng","year":"2020","journal-title":"The Chinese internet of things"},{"key":"ref1","article-title":"Intent nbi–definition and principles","volume":"2","author":"janz","year":"2015","journal-title":"Open Networking Foundation Ver"},{"key":"ref17","year":"2016","journal-title":"Cleanslate"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOMW.2017.8116514"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3198"},{"key":"ref18","first-page":"1103","year":"2019","journal-title":"Z3[EB\/OL]"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2018.8638149"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CNSM.2016.7818446"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2004.1354680"},{"key":"ref25","year":"2019","journal-title":"ptables(8)-Linux man page[EB\/OL]"},{"key":"ref20","first-page":"337","article-title":"Z3: An efficient SMT solver[C]","author":"moura","year":"2008","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/NETSOFT.2019.8806662"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/11590354_23"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2017.2726066"},{"key":"ref7","first-page":"113","article-title":"Header space analysis: Static checking for networks[C]","author":"kazemian","year":"2012","journal-title":"Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCCN.2018.8487415"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s42979-019-0009-9"},{"key":"ref3","first-page":"2574","article-title":"A Survey of Intent-Based Networking Research","volume":"31","author":"fuliang","year":"2020","journal-title":"Journal of Software[J]"},{"key":"ref6","first-page":"99","article-title":"Real time network policy checking using header space analysis[C]","author":"kazemian","year":"2013","journal-title":"Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation"},{"key":"ref5","first-page":"1","article-title":"Rule Anomalies Detecting and Resolving for Software Defined Networks[C]","author":"wang","year":"2016","journal-title":"IEEE Global Communications Conference"}],"event":{"name":"2023 IEEE 9th International Conference on Cloud Computing and Intelligent Systems (CCIS)","location":"Dali, China","start":{"date-parts":[[2023,8,12]]},"end":{"date-parts":[[2023,8,13]]}},"container-title":["2023 IEEE 9th International Conference on Cloud Computing and Intelligent Systems (CCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10262403\/10262831\/10263079.pdf?arnumber=10263079","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T17:50:38Z","timestamp":1698083438000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10263079\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,12]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/ccis59572.2023.10263079","relation":{},"subject":[],"published":{"date-parts":[[2023,8,12]]}}}