{"id":"https://openalex.org/W4226197247","doi":"https://doi.org/10.1109/tdsc.2022.3160293","title":"Automated Firewall Configuration in Virtual Networks","display_name":"Automated Firewall Configuration in Virtual Networks","publication_year":2022,"publication_date":"2022-03-17","ids":{"openalex":"https://openalex.org/W4226197247","doi":"https://doi.org/10.1109/tdsc.2022.3160293"},"language":"en","primary_location":{"id":"doi:10.1109/tdsc.2022.3160293","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tdsc.2022.3160293","pdf_url":"https://ieeexplore.ieee.org/ielx7/8858/10068314/09737389.pdf","source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://ieeexplore.ieee.org/ielx7/8858/10068314/09737389.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073892199","display_name":"Daniele Bringhenti","orcid":"https://orcid.org/0000-0002-3086-7364"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Daniele Bringhenti","raw_affiliation_strings":["Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy"],"raw_orcid":"https://orcid.org/0000-0002-3086-7364","affiliations":[{"raw_affiliation_string":"Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010269472","display_name":"Guido Marchetto","orcid":"https://orcid.org/0000-0003-3588-9367"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Guido Marchetto","raw_affiliation_strings":["Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy"],"raw_orcid":"https://orcid.org/0000-0003-3588-9367","affiliations":[{"raw_affiliation_string":"Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021669146","display_name":"Riccardo Sisto","orcid":"https://orcid.org/0000-0002-3142-2383"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Riccardo Sisto","raw_affiliation_strings":["Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy"],"raw_orcid":"https://orcid.org/0000-0002-3142-2383","affiliations":[{"raw_affiliation_string":"Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055358727","display_name":"Fulvio Valenza","orcid":"https://orcid.org/0000-0002-8471-3029"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Politecnico di Torino","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Fulvio Valenza","raw_affiliation_strings":["Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy"],"raw_orcid":"https://orcid.org/0000-0002-8471-3029","affiliations":[{"raw_affiliation_string":"Dipartimento di Automatica e Informatica, Politecnico di Torino, Torino, Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045152316","display_name":"Jalolliddin Yusupov","orcid":"https://orcid.org/0000-0003-3973-4266"},"institutions":[{"id":"https://openalex.org/I4210142780","display_name":"Turin Polytechnic University","ror":"https://ror.org/042xrxv40","country_code":"UZ","type":"education","lineage":["https://openalex.org/I4210142780"]}],"countries":["UZ"],"is_corresponding":false,"raw_author_name":"Jalolliddin Yusupov","raw_affiliation_strings":["Department of Automatic Control and Computer Engineering, Turin Polytechnic University, Tashkent, Uzbekistan"],"raw_orcid":"https://orcid.org/0000-0003-3973-4266","affiliations":[{"raw_affiliation_string":"Department of Automatic Control and Computer Engineering, Turin Polytechnic University, Tashkent, Uzbekistan","institution_ids":["https://openalex.org/I4210142780"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.6423,"has_fulltext":true,"cited_by_count":50,"citation_normalized_percentile":{"value":0.95262046,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"20","issue":"2","first_page":"1559","last_page":"1576"},"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.9997000098228455,"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.9997000098228455,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9980999827384949,"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/firewall","display_name":"Firewall (physics)","score":0.8607664704322815},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8522685170173645},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7252993583679199},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.5589912533760071},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5277277231216431},{"id":"https://openalex.org/keywords/network-security","display_name":"Network security","score":0.4507834017276764},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.44661587476730347},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.4202728867530823},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.398573100566864},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3797846734523773},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2596503794193268}],"concepts":[{"id":"https://openalex.org/C77714075","wikidata":"https://www.wikidata.org/wiki/Q5452017","display_name":"Firewall (physics)","level":5,"score":0.8607664704322815},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8522685170173645},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7252993583679199},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.5589912533760071},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5277277231216431},{"id":"https://openalex.org/C182590292","wikidata":"https://www.wikidata.org/wiki/Q989632","display_name":"Network security","level":2,"score":0.4507834017276764},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.44661587476730347},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.4202728867530823},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.398573100566864},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3797846734523773},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2596503794193268},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C183915046","wikidata":"https://www.wikidata.org/wiki/Q1316152","display_name":"Charged black hole","level":4,"score":0.0},{"id":"https://openalex.org/C124017977","wikidata":"https://www.wikidata.org/wiki/Q11412","display_name":"Gravitation","level":2,"score":0.0},{"id":"https://openalex.org/C115304011","wikidata":"https://www.wikidata.org/wiki/Q72755","display_name":"Schwarzschild radius","level":3,"score":0.0},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tdsc.2022.3160293","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tdsc.2022.3160293","pdf_url":"https://ieeexplore.ieee.org/ielx7/8858/10068314/09737389.pdf","source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1109/tdsc.2022.3160293","is_oa":true,"landing_page_url":"https://doi.org/10.1109/tdsc.2022.3160293","pdf_url":"https://ieeexplore.ieee.org/ielx7/8858/10068314/09737389.pdf","source":{"id":"https://openalex.org/S133795288","display_name":"IEEE Transactions on Dependable and Secure Computing","issn_l":"1545-5971","issn":["1545-5971","1941-0018","2160-9209"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Dependable and Secure Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3656740367","display_name":null,"funder_award_id":"786922","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G6384328479","display_name":null,"funder_award_id":"830929","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G7331901853","display_name":null,"funder_award_id":"EU H2020","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4226197247.pdf","grobid_xml":"https://content.openalex.org/works/W4226197247.grobid-xml"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1483177141","https://openalex.org/W2014254858","https://openalex.org/W2036291311","https://openalex.org/W2117180635","https://openalex.org/W2135292514","https://openalex.org/W2138623315","https://openalex.org/W2143772381","https://openalex.org/W2148656332","https://openalex.org/W2234017516","https://openalex.org/W2289096564","https://openalex.org/W2301799503","https://openalex.org/W2467630075","https://openalex.org/W2500898769","https://openalex.org/W2510513234","https://openalex.org/W2516477161","https://openalex.org/W2574708274","https://openalex.org/W2728126758","https://openalex.org/W2738449735","https://openalex.org/W2755935622","https://openalex.org/W2762286066","https://openalex.org/W2767449315","https://openalex.org/W2795793765","https://openalex.org/W2883807093","https://openalex.org/W2889032212","https://openalex.org/W2889473667","https://openalex.org/W2891808071","https://openalex.org/W2897015348","https://openalex.org/W2897445445","https://openalex.org/W2911938450","https://openalex.org/W2914849485","https://openalex.org/W2916202418","https://openalex.org/W2975720975","https://openalex.org/W2982662507","https://openalex.org/W3012397047","https://openalex.org/W3034278024","https://openalex.org/W3041733974","https://openalex.org/W3100009627","https://openalex.org/W3115362793","https://openalex.org/W3121337498","https://openalex.org/W3125356711","https://openalex.org/W3196849078","https://openalex.org/W4251300318","https://openalex.org/W6732731793","https://openalex.org/W6755786325"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W2357071520","https://openalex.org/W2366078844","https://openalex.org/W2373857385","https://openalex.org/W2353277512"],"abstract_inverted_index":{"The":[0,87],"configuration":[1,43,75],"of":[2,76,83,106,116,131],"security":[3,17,122],"functions":[4],"in":[5,59,79],"computer":[6,60],"networks":[7,29],"is":[8,25,90,139],"still":[9],"typically":[10],"performed":[11],"manually,":[12],"which":[13],"likely":[14],"leads":[15],"to":[16,68,156],"breaches":[18],"and":[19,37,62,74,126,134,145,150,154],"long":[20],"re-configuration":[21],"times.":[22],"This":[23,46,110,137],"problem":[24,103],"exacerbated":[26],"for":[27],"modern":[28],"based":[30,91],"on":[31,49,92,147],"network":[32],"virtualization,":[33],"because":[34],"their":[35],"complexity":[36],"dynamics":[38],"make":[39],"a":[40,65,84,94,107],"correct":[41],"manual":[42],"practically":[44],"unfeasible.":[45],"article":[47],"focuses":[48],"packet":[50,77],"filters,":[51],"i.e.,":[52,119],"the":[53,71,80,114,117,129,157],"most":[54],"common":[55],"firewall":[56,135],"technology":[57],"used":[58],"networks,":[61],"it":[63,127],"proposes":[64],"new":[66],"methodology":[67,138],"automatically":[69],"define":[70],"allocation":[72],"scheme":[73],"filters":[78],"logical":[81],"topology":[82],"virtual":[85],"network.":[86],"proposed":[88],"method":[89],"solving":[93],"carefully":[95],"designed":[96],"partial":[97],"weighted":[98],"Maximum":[99],"Satisfiability":[100],"Modulo":[101],"Theories":[102],"by":[104],"means":[105],"state-of-the-art":[108,158],"solver.":[109],"approach":[111],"formally":[112],"guarantees":[113],"correctness":[115],"solution,":[118],"that":[120],"all":[121],"requirements":[123],"are":[124],"satisfied,":[125],"minimizes":[128],"number":[130],"needed":[132],"firewalls":[133],"rules.":[136],"extensively":[140],"evaluated":[141],"using":[142],"different":[143],"metrics":[144],"tests":[146],"both":[148],"synthetic":[149],"real":[151],"use":[152],"cases,":[153],"compared":[155],"solutions,":[159],"showing":[160],"its":[161],"superiority.":[162]},"counts_by_year":[{"year":2026,"cited_by_count":9},{"year":2025,"cited_by_count":14},{"year":2024,"cited_by_count":12},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":3}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}