{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T06:04:22Z","timestamp":1784268262417,"version":"3.55.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T00:00:00Z","timestamp":1782691200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T00:00:00Z","timestamp":1782691200000},"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":[[2026,6,29]]},"DOI":"10.1109\/netsoft70012.2026.11603517","type":"proceedings-article","created":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T21:48:13Z","timestamp":1784238493000},"page":"639-645","source":"Crossref","is-referenced-by-count":0,"title":["Making IBN Tractable by Enhanced Policy Verification: The NIPOV Algorithm"],"prefix":"10.1109","author":[{"given":"Pedro","family":"Martinez-Julia","sequence":"first","affiliation":[{"name":"National Institute of Information and Communications Technology,Tokyo,Japan,184-8795"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ved P.","family":"Kafle","sequence":"additional","affiliation":[{"name":"National Institute of Information and Communications Technology,Tokyo,Japan,184-8795"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hitoshi","family":"Asaeda","sequence":"additional","affiliation":[{"name":"National Institute of Information and Communications Technology,Tokyo,Japan,184-8795"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Diego R.","family":"Lopez","sequence":"additional","affiliation":[{"name":"Telefonica I+D,Madrid,Spain,28050"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonio","family":"Skarmeta","sequence":"additional","affiliation":[{"name":"University of Murcia,Murcia,Spain,30100"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.17487\/RFC9316","volume-title":"Intent Classification","author":"Li","year":"2022"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.17487\/RFC8328","volume-title":"Policy-Based Management Framework for the Simplified Use of Policy Abstractions (SUPA)","author":"Liu","year":"2018"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2022.3215919"},{"key":"ref4","first-page":"1","article-title":"Policy refinement: Decomposition and operationalization for dynamic domains","volume-title":"2011 7th International Conference on Network and Service Management","author":"Craven","year":"2011"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/NFV-SDN53031.2021.9665048"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2023.3312795"},{"key":"ref7","first-page":"1","article-title":"Indira: \u2018application intent\u2019 network assistant to configure sdn-based high performance scientific networks","volume-title":"2017 Optical Fiber Communications Conference and Exhibition (OFC)","author":"Mercian","year":"2017"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3389\/frcmn.2024.1385656"},{"key":"ref9","first-page":"27","article-title":"A semantic model to assist policy refinement mechanisms for nfv-mano systems","volume-title":"Anais do VIII Workshop Pr\u00e9-IETF\/IRTF. Porto Alegre","author":"Bonfim","year":"2021"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.1016\/j.comcom.2024.107977","article-title":"Optimizing key value indicators in intent-based networks through digital twins aided service orchestration mechanisms","author":"de Trizio","year":"2024","journal-title":"Computer Communications"},{"key":"ref11","author":"ZSM","year":"2021","journal-title":"Zero-touch network and Service Management (ZSM); Closed-Loop Automation; Part 1: Enablers"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2022.3204777"},{"key":"ref13","volume-title":"OWL 2 Web Ontology Language \u2013 Structural Specification and Functional-Style Syntax (Second Edition)","author":"Motik","year":"2012"},{"key":"ref14","article-title":"Formalization of the UML metamodel: An approach based upon the four-layer metamodeling architecture","volume-title":"ECOOP\u201900 Workshop","volume":"14","author":"Terrasse"},{"key":"ref15","volume-title":"Resource Description Framework (RDF): Concepts and Abstract Syntax","author":"Klyne","year":"2004"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3589339"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DTPI52967.2021.9540177"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/OJCOMS.2024.3425831"},{"issue":"3","key":"ref19","doi-asserted-by":"crossref","first-page":"4279","DOI":"10.32604\/cmes.2025.072607","article-title":"Multi-domain network intent policy enforcement","volume":"145","author":"Hermosilla","year":"2025","journal-title":"Computer Modeling in Engineering & Sciences"},{"key":"ref20","article-title":"OSM Release Five Technical Overview","volume-title":"OSM White Paper","year":"2019"},{"key":"ref21","volume-title":"The OpenStack Project","year":"2017"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/NetSoft57336.2023.10175449"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS59830.2024.10574983"}],"event":{"name":"2026 IEEE 12th International Conference on Network Softwarization (NetSoft)","location":"Berlin, Germany","start":{"date-parts":[[2026,6,29]]},"end":{"date-parts":[[2026,7,3]]}},"container-title":["2026 IEEE 12th International Conference on Network Softwarization (NetSoft)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11603412\/11603413\/11603517.pdf?arnumber=11603517","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T05:22:38Z","timestamp":1784265758000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11603517\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,29]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/netsoft70012.2026.11603517","relation":{},"subject":[],"published":{"date-parts":[[2026,6,29]]}}}