{"id":"https://openalex.org/W3185720081","doi":"https://doi.org/10.1109/netsoft51509.2021.9492679","title":"SDN Intent-based conformance checking: application to security policies","display_name":"SDN Intent-based conformance checking: application to security policies","publication_year":2021,"publication_date":"2021-06-28","ids":{"openalex":"https://openalex.org/W3185720081","doi":"https://doi.org/10.1109/netsoft51509.2021.9492679","mag":"3185720081"},"language":"en","primary_location":{"id":"doi:10.1109/netsoft51509.2021.9492679","is_oa":false,"landing_page_url":"https://doi.org/10.1109/netsoft51509.2021.9492679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE 7th International Conference on Network Softwarization (NetSoft)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5014807509","display_name":"Nicolas Herbaut","orcid":"https://orcid.org/0000-0003-1540-2099"},"institutions":[{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I51101395","display_name":"Universit\u00e9 Paris 1 Panth\u00e9on-Sorbonne","ror":"https://ror.org/002t25c44","country_code":"FR","type":"education","lineage":["https://openalex.org/I51101395"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nicolas Herbaut","raw_affiliation_strings":["Université Paris 1 Panthon-Sorbonne,Centre de Recherche en Informatique,Paris,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Université Paris 1 Panthon-Sorbonne,Centre de Recherche en Informatique,Paris,France","institution_ids":["https://openalex.org/I4210115519","https://openalex.org/I51101395"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032754765","display_name":"Camilo Correa","orcid":null},"institutions":[{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I51101395","display_name":"Universit\u00e9 Paris 1 Panth\u00e9on-Sorbonne","ror":"https://ror.org/002t25c44","country_code":"FR","type":"education","lineage":["https://openalex.org/I51101395"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Camilo Correa","raw_affiliation_strings":["Université Paris 1 Panthon-Sorbonne,Centre de Recherche en Informatique,Paris,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Université Paris 1 Panthon-Sorbonne,Centre de Recherche en Informatique,Paris,France","institution_ids":["https://openalex.org/I4210115519","https://openalex.org/I51101395"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113740096","display_name":"Jacques Robin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I51101395","display_name":"Universit\u00e9 Paris 1 Panth\u00e9on-Sorbonne","ror":"https://ror.org/002t25c44","country_code":"FR","type":"education","lineage":["https://openalex.org/I51101395"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jacques Robin","raw_affiliation_strings":["Université Paris 1 Panthon-Sorbonne,Centre de Recherche en Informatique,Paris,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Université Paris 1 Panthon-Sorbonne,Centre de Recherche en Informatique,Paris,France","institution_ids":["https://openalex.org/I4210115519","https://openalex.org/I51101395"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009739981","display_name":"Ra\u00fal Mazo","orcid":"https://orcid.org/0000-0003-0629-1542"},"institutions":[{"id":"https://openalex.org/I4210148559","display_name":"\u00c9cole nationale sup\u00e9rieure de techniques avanc\u00e9es Bretagne","ror":"https://ror.org/059n54003","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4210148559"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Raul Mazo","raw_affiliation_strings":["Ensta Bretagne,Lab-Sticc,Brest,France","Lab-Sticc, Ensta Bretagne, Brest, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ensta Bretagne,Lab-Sticc,Brest,France","institution_ids":["https://openalex.org/I4210148559"]},{"raw_affiliation_string":"Lab-Sticc, Ensta Bretagne, Brest, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1223,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.79304503,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"181","last_page":"185"},"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.9998999834060669,"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.9998999834060669,"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.983299970626831,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9790999889373779,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8445634841918945},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6726014018058777},{"id":"https://openalex.org/keywords/forwarding-plane","display_name":"Forwarding plane","score":0.6375446319580078},{"id":"https://openalex.org/keywords/audit","display_name":"Audit","score":0.5434567928314209},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.5081350803375244},{"id":"https://openalex.org/keywords/routing-control-plane","display_name":"Routing control plane","score":0.4829920530319214},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.4769229590892792},{"id":"https://openalex.org/keywords/reflection","display_name":"Reflection (computer programming)","score":0.44180095195770264},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4302506744861603},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3764950931072235},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3384212553501129},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2731103301048279},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.20773625373840332},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.1153688132762909}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8445634841918945},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6726014018058777},{"id":"https://openalex.org/C10597312","wikidata":"https://www.wikidata.org/wiki/Q5473302","display_name":"Forwarding plane","level":3,"score":0.6375446319580078},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.5434567928314209},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.5081350803375244},{"id":"https://openalex.org/C145595949","wikidata":"https://www.wikidata.org/wiki/Q7371619","display_name":"Routing control plane","level":2,"score":0.4829920530319214},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.4769229590892792},{"id":"https://openalex.org/C65682993","wikidata":"https://www.wikidata.org/wiki/Q1056451","display_name":"Reflection (computer programming)","level":2,"score":0.44180095195770264},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4302506744861603},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3764950931072235},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3384212553501129},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2731103301048279},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.20773625373840332},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.1153688132762909},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C17409809","wikidata":"https://www.wikidata.org/wiki/Q161764","display_name":"Geochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/netsoft51509.2021.9492679","is_oa":false,"landing_page_url":"https://doi.org/10.1109/netsoft51509.2021.9492679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE 7th International Conference on Network Softwarization (NetSoft)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W40890042","https://openalex.org/W1858168446","https://openalex.org/W2040340473","https://openalex.org/W2094656022","https://openalex.org/W2291150993","https://openalex.org/W2364839527","https://openalex.org/W2468280276","https://openalex.org/W2575751680","https://openalex.org/W2889208148","https://openalex.org/W2969904433","https://openalex.org/W2985422378","https://openalex.org/W2997290241","https://openalex.org/W3034530112","https://openalex.org/W3049189941","https://openalex.org/W4251300318","https://openalex.org/W6639080731","https://openalex.org/W6674087999","https://openalex.org/W6732411198","https://openalex.org/W6772142856"],"related_works":["https://openalex.org/W2073926975","https://openalex.org/W4214777079","https://openalex.org/W3093659890","https://openalex.org/W2606027679","https://openalex.org/W3036543234","https://openalex.org/W2953270859","https://openalex.org/W4211055425","https://openalex.org/W4243609393","https://openalex.org/W1972849324","https://openalex.org/W2901709787"],"abstract_inverted_index":{"With":[0],"the":[1,8,16,41,119],"popularity":[2],"of":[3,11,76,86],"software":[4],"defined":[5],"networking":[6],"architectures,":[7],"growing":[9],"complexity":[10],"its":[12,91],"use":[13],"cases":[14],"dictates":[15],"need":[17],"for":[18,22,115],"better":[19],"auditability":[20],"especially":[21],"security.":[23],"In":[24],"this":[25,57],"paper,":[26],"we":[27,59,89],"aim":[28],"at":[29],"facilitating":[30],"high-level":[31],"management-plane":[32],"policy":[33],"configuration":[34],"conformance":[35,63],"auditing":[36],"and":[37,79,94,103],"their":[38],"reflection":[39],"in":[40],"data":[42,80],"plane,":[43],"to":[44,53],"detect":[45],"missing":[46],"or":[47],"spurious":[48],"flow":[49],"rules":[50],"with":[51],"respect":[52],"security":[54],"policies.":[55],"To":[56],"end,":[58],"propose":[60],"an":[61,68],"efficient":[62],"checking":[64],"approach":[65],"based":[66],"on":[67,100],"intentional":[69],"northbound":[70],"interface":[71],"as":[72,74],"well":[73],"traces":[75],"management,":[77],"control":[78],"plane.":[81],"Leveraging":[82],"a":[83,97],"proof-of-concept":[84],"implementation":[85],"our":[87],"approach,":[88],"compare":[90],"conformance-checking":[92],"runtime":[93],"precision":[95],"against":[96],"direct":[98],"method":[99],"virtual":[101],"topologies":[102],"find":[104],"that":[105],"it":[106],"significantly":[107],"improves":[108],"scalability.":[109],"We":[110],"conclude":[111],"by":[112],"proposing":[113],"directions":[114],"further":[116],"enhancements":[117],"extending":[118],"techniques":[120],"presented":[121],"herein.":[122]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}