{"id":"https://openalex.org/W4312090581","doi":"https://doi.org/10.1109/mnet.124.2200127","title":"Full-Life Cycle Intent-Driven Network Verification: Challenges and Approaches","display_name":"Full-Life Cycle Intent-Driven Network Verification: Challenges and Approaches","publication_year":2022,"publication_date":"2022-12-05","ids":{"openalex":"https://openalex.org/W4312090581","doi":"https://doi.org/10.1109/mnet.124.2200127"},"language":"en","primary_location":{"id":"doi:10.1109/mnet.124.2200127","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mnet.124.2200127","pdf_url":null,"source":{"id":"https://openalex.org/S186584794","display_name":"IEEE Network","issn_l":"0890-8044","issn":["0890-8044","1558-156X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Network","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2212.09944","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038874023","display_name":"Yanbo Song","orcid":"https://orcid.org/0000-0003-4559-6963"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["CN","SG"],"is_corresponding":true,"raw_author_name":"Yanbo Song","raw_affiliation_strings":["State Key Laboratory on Integrated Services Networks, Xidian University, Xi’an, China","School of Computer Science and Engineering, Nanyang Technological University, 639798 Singapore","State Key Laboratory on Integrated Services Networks, Xidian University, Xi'an, 710071 China"],"raw_orcid":"https://orcid.org/0000-0003-4559-6963","affiliations":[{"raw_affiliation_string":"State Key Laboratory on Integrated Services Networks, Xidian University, Xi’an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Nanyang Technological University, 639798 Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"State Key Laboratory on Integrated Services Networks, Xidian University, Xi'an, 710071 China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102869201","display_name":"Chungang Yang","orcid":"https://orcid.org/0000-0001-7120-1801"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["CN","SG"],"is_corresponding":false,"raw_author_name":"Chungang Yang","raw_affiliation_strings":["State Key Laboratory on Integrated Services Networks, Xidian University, Xi’an, China","State Key Laboratory on Integrated Services Networks, Xidian University, Xi'an, 710071 China","School of Computer Science and Engineering, Nanyang Technological University, 639798 Singapore"],"raw_orcid":"https://orcid.org/0000-0001-7120-1801","affiliations":[{"raw_affiliation_string":"State Key Laboratory on Integrated Services Networks, Xidian University, Xi’an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"State Key Laboratory on Integrated Services Networks, Xidian University, Xi'an, 710071 China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Nanyang Technological University, 639798 Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100453769","display_name":"Jiaming Zhang","orcid":"https://orcid.org/0000-0001-9686-701X"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["CN","SG"],"is_corresponding":false,"raw_author_name":"Jiaming Zhang","raw_affiliation_strings":["State Key Laboratory on Integrated Services Networks, Xidian University, Xi’an, China","State Key Laboratory on Integrated Services Networks, Xidian University, Xi'an, 710071 China","School of Computer Science and Engineering, Nanyang Technological University, 639798 Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory on Integrated Services Networks, Xidian University, Xi’an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"State Key Laboratory on Integrated Services Networks, Xidian University, Xi'an, 710071 China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Nanyang Technological University, 639798 Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048508547","display_name":"Xinru Mi","orcid":"https://orcid.org/0000-0002-8320-5137"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["CN","SG"],"is_corresponding":false,"raw_author_name":"Xinru Mi","raw_affiliation_strings":["State Key Laboratory on Integrated Services Networks, Xidian University, Xi’an, China","State Key Laboratory on Integrated Services Networks, Xidian University, Xi'an, 710071 China","School of Computer Science and Engineering, Nanyang Technological University, 639798 Singapore"],"raw_orcid":"https://orcid.org/0000-0002-8320-5137","affiliations":[{"raw_affiliation_string":"State Key Laboratory on Integrated Services Networks, Xidian University, Xi’an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"State Key Laboratory on Integrated Services Networks, Xidian University, Xi'an, 710071 China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Nanyang Technological University, 639798 Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091266202","display_name":"Dusit Niyato","orcid":"https://orcid.org/0000-0002-7442-7416"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["CN","SG"],"is_corresponding":false,"raw_author_name":"Dusit Niyato","raw_affiliation_strings":["School of Computer Science and Engineering, Nanyang Technological University, Jurong West, Singapore","State Key Laboratory on Integrated Services Networks, Xidian University, Xi'an, 710071 China"],"raw_orcid":"https://orcid.org/0000-0002-7442-7416","affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Nanyang Technological University, Jurong West, Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"State Key Laboratory on Integrated Services Networks, Xidian University, Xi'an, 710071 China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5038874023"],"corresponding_institution_ids":["https://openalex.org/I149594827","https://openalex.org/I172675005"],"apc_list":null,"apc_paid":null,"fwci":1.8547,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.86228472,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"37","issue":"5","first_page":"145","last_page":"153"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10400","display_name":"Network Security and Intrusion Detection","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9901000261306763,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8129595518112183},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.7420088052749634},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5634025931358337},{"id":"https://openalex.org/keywords/product-life-cycle-management","display_name":"Product life-cycle management","score":0.4912506937980652},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.4711315333843231},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.44170382618904114},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3538469672203064},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34842705726623535},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09911319613456726},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08940672874450684}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8129595518112183},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.7420088052749634},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5634025931358337},{"id":"https://openalex.org/C7465953","wikidata":"https://www.wikidata.org/wiki/Q1572577","display_name":"Product life-cycle management","level":2,"score":0.4912506937980652},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4711315333843231},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.44170382618904114},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3538469672203064},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34842705726623535},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09911319613456726},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08940672874450684},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/mnet.124.2200127","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mnet.124.2200127","pdf_url":null,"source":{"id":"https://openalex.org/S186584794","display_name":"IEEE Network","issn_l":"0890-8044","issn":["0890-8044","1558-156X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Network","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2212.09944","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2212.09944","pdf_url":"https://arxiv.org/pdf/2212.09944","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2212.09944","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2212.09944","pdf_url":"https://arxiv.org/pdf/2212.09944","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"score":0.5699999928474426,"display_name":"Responsible consumption and production","id":"https://metadata.un.org/sdg/12"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W2742515467","https://openalex.org/W2767010100","https://openalex.org/W2769168058","https://openalex.org/W2783873574","https://openalex.org/W2785458236","https://openalex.org/W2862472526","https://openalex.org/W2966974867","https://openalex.org/W2982608089","https://openalex.org/W3002683348","https://openalex.org/W3036961695","https://openalex.org/W3096035740","https://openalex.org/W3110208423","https://openalex.org/W3125356711","https://openalex.org/W3197794155","https://openalex.org/W3211810454","https://openalex.org/W4251300318"],"related_works":["https://openalex.org/W2105593427","https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W3209085687","https://openalex.org/W2108860137","https://openalex.org/W2125238773","https://openalex.org/W2153955347","https://openalex.org/W2533078207","https://openalex.org/W1928822090"],"abstract_inverted_index":{"With":[0],"the":[1,21,30,96,112,121,126,131],"human":[2,18],"friendly":[3],"declarative":[4],"intent":[5,87,97],"policy":[6,137],"expression,":[7],"intent-driven":[8,42],"network":[9,12,43,116,140],"can":[10],"make":[11],"management":[13],"and":[14,23,51,70,75,82,101,123],"configuration":[15],"autonomous":[16],"without":[17],"intervention.":[19],"However,":[20],"availability":[22],"dependability":[24],"of":[25,56,114,125,133],"these":[26],"refined":[27],"policies":[28],"from":[29],"expressed":[31],"intents":[32],"should":[33],"be":[34],"well":[35],"ensured":[36],"by":[37],"full-life":[38,57,105],"cycle":[39,58,106],"verification.":[40,117],"Moreover,":[41],"verification":[44,60,73,88,107,128],"is":[45,53],"still":[46],"in":[47,65,130],"its":[48],"initial":[49],"stage,":[50],"there":[52],"a":[54,63,90,103],"lack":[55],"end-to-end":[59],"framework.":[61],"As":[62],"result,":[64],"this":[66],"article,":[67],"we":[68,85,119],"present":[69],"review":[71],"existing":[72],"techniques,":[74],"classify":[76],"them":[77],"according":[78],"to":[79],"objective,":[80],"purpose,":[81],"feedback.":[83],"Furthermore,":[84],"describe":[86],"as":[89],"technology":[91],"that":[92,109],"provides":[93],"assurance":[94],"during":[95],"form":[98],"conversion":[99],"process":[100],"propose":[102],"novel":[104],"framework":[108,129],"expands":[110],"on":[111],"concept":[113],"traditional":[115],"Finally,":[118],"verify":[120],"feasibility":[122],"validity":[124],"presented":[127],"case":[132],"an":[134],"access":[135],"control":[136],"for":[138],"different":[139],"functions":[141],"with":[142],"multi":[143],"conflict":[144],"intents.":[145]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":10},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2023-01-04T00:00:00"}