{"id":"https://openalex.org/W2042885046","doi":"https://doi.org/10.1109/rndm.2015.7325238","title":"Detection and prevention of firewall-rule conflicts on software-defined networking","display_name":"Detection and prevention of firewall-rule conflicts on software-defined networking","publication_year":2015,"publication_date":"2015-10-01","ids":{"openalex":"https://openalex.org/W2042885046","doi":"https://doi.org/10.1109/rndm.2015.7325238","mag":"2042885046"},"language":"en","primary_location":{"id":"doi:10.1109/rndm.2015.7325238","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rndm.2015.7325238","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 7th International Workshop on Reliable Networks Design and Modeling (RNDM)","raw_type":"proceedings-article"},"type":"article","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/A5078772189","display_name":"Ferney A. Maldonado-Lopez","orcid":"https://orcid.org/0000-0002-3855-6798"},"institutions":[{"id":"https://openalex.org/I251424209","display_name":"University of Girona","ror":"https://ror.org/01xdxns91","country_code":"ES","type":"education","lineage":["https://openalex.org/I251424209"]},{"id":"https://openalex.org/I162096671","display_name":"Universidad de Los Andes","ror":"https://ror.org/02mhbdp94","country_code":"CO","type":"education","lineage":["https://openalex.org/I162096671"]}],"countries":["CO","ES"],"is_corresponding":true,"raw_author_name":"Ferney A. Maldonado-Lopez","raw_affiliation_strings":["Departament d'Electr\u00f2nica, Inform\u00e0tica i Autom\u00e0tica, Universitat de Girona, Girona, Spain","Departamento de Ingenier\u00eda de Sistemas y Computaci\u00f3n, Universidad de los Andes, Bogot\u00e1, Colombia"],"affiliations":[{"raw_affiliation_string":"Departament d'Electr\u00f2nica, Inform\u00e0tica i Autom\u00e0tica, Universitat de Girona, Girona, Spain","institution_ids":["https://openalex.org/I251424209"]},{"raw_affiliation_string":"Departamento de Ingenier\u00eda de Sistemas y Computaci\u00f3n, Universidad de los Andes, Bogot\u00e1, Colombia","institution_ids":["https://openalex.org/I162096671"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015396073","display_name":"Eusebi Calle","orcid":"https://orcid.org/0000-0003-2361-602X"},"institutions":[{"id":"https://openalex.org/I251424209","display_name":"University of Girona","ror":"https://ror.org/01xdxns91","country_code":"ES","type":"education","lineage":["https://openalex.org/I251424209"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Eusebi Calle","raw_affiliation_strings":["Departament d'Electr\u00f2nica, Inform\u00e0tica i Autom\u00e0tica, Universitat de Girona, Girona, Spain"],"affiliations":[{"raw_affiliation_string":"Departament d'Electr\u00f2nica, Inform\u00e0tica i Autom\u00e0tica, Universitat de Girona, Girona, Spain","institution_ids":["https://openalex.org/I251424209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074828533","display_name":"Yezid Donoso","orcid":"https://orcid.org/0000-0003-1659-1522"},"institutions":[{"id":"https://openalex.org/I162096671","display_name":"Universidad de Los Andes","ror":"https://ror.org/02mhbdp94","country_code":"CO","type":"education","lineage":["https://openalex.org/I162096671"]}],"countries":["CO"],"is_corresponding":false,"raw_author_name":"Yezid Donoso","raw_affiliation_strings":["Departamento de Ingenier\u00eda de Sistemas y Computaci\u00f3n, Universidad de los Andes, Bogot\u00e1, Colombia"],"affiliations":[{"raw_affiliation_string":"Departamento de Ingenier\u00eda de Sistemas y Computaci\u00f3n, Universidad de los Andes, Bogot\u00e1, Colombia","institution_ids":["https://openalex.org/I162096671"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078772189"],"corresponding_institution_ids":["https://openalex.org/I162096671","https://openalex.org/I251424209"],"apc_list":null,"apc_paid":null,"fwci":1.6641,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.85892024,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"259","last_page":"265"},"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9987000226974487,"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.9961000084877014,"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.931841254234314},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7945758700370789},{"id":"https://openalex.org/keywords/application-firewall","display_name":"Application firewall","score":0.7115771174430847},{"id":"https://openalex.org/keywords/software-defined-networking","display_name":"Software-defined networking","score":0.6567485332489014},{"id":"https://openalex.org/keywords/security-policy","display_name":"Security policy","score":0.48289036750793457},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4642890691757202},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.45837002992630005},{"id":"https://openalex.org/keywords/dmz","display_name":"DMZ","score":0.4171084761619568},{"id":"https://openalex.org/keywords/network-security","display_name":"Network security","score":0.40115779638290405},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.34821516275405884},{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.3049679100513458},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2237871289253235}],"concepts":[{"id":"https://openalex.org/C77714075","wikidata":"https://www.wikidata.org/wiki/Q5452017","display_name":"Firewall (physics)","level":5,"score":0.931841254234314},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7945758700370789},{"id":"https://openalex.org/C86444895","wikidata":"https://www.wikidata.org/wiki/Q451816","display_name":"Application firewall","level":4,"score":0.7115771174430847},{"id":"https://openalex.org/C77270119","wikidata":"https://www.wikidata.org/wiki/Q1655198","display_name":"Software-defined networking","level":2,"score":0.6567485332489014},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.48289036750793457},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4642890691757202},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.45837002992630005},{"id":"https://openalex.org/C23103841","wikidata":"https://www.wikidata.org/wiki/Q1074209","display_name":"DMZ","level":3,"score":0.4171084761619568},{"id":"https://openalex.org/C182590292","wikidata":"https://www.wikidata.org/wiki/Q989632","display_name":"Network security","level":2,"score":0.40115779638290405},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.34821516275405884},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.3049679100513458},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2237871289253235},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C124017977","wikidata":"https://www.wikidata.org/wiki/Q11412","display_name":"Gravitation","level":2,"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/rndm.2015.7325238","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rndm.2015.7325238","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 7th International Workshop on Reliable Networks Design and Modeling (RNDM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W59357109","https://openalex.org/W79907666","https://openalex.org/W158224344","https://openalex.org/W1576452827","https://openalex.org/W1675033504","https://openalex.org/W2002596950","https://openalex.org/W2012948111","https://openalex.org/W2020729428","https://openalex.org/W2120237629","https://openalex.org/W2120255160","https://openalex.org/W2125615781","https://openalex.org/W2136451165","https://openalex.org/W2140073547","https://openalex.org/W2147118406","https://openalex.org/W2151511193","https://openalex.org/W2341443614","https://openalex.org/W4234929969","https://openalex.org/W4256418102","https://openalex.org/W6637274776"],"related_works":["https://openalex.org/W2009238965","https://openalex.org/W2361515550","https://openalex.org/W8359669","https://openalex.org/W2916429898","https://openalex.org/W2057573940","https://openalex.org/W4363647490","https://openalex.org/W2495628081","https://openalex.org/W2347324149","https://openalex.org/W40377838","https://openalex.org/W2014254858"],"abstract_inverted_index":{"Software-Defined":[0],"Networking":[1],"(SDN)":[2],"is":[3,101],"a":[4,9,32,73],"different":[5],"approach":[6],"to":[7,21,34,54,84,103,110],"manage":[8],"network":[10,23,43,65],"by":[11,72],"software.":[12],"It":[13],"could":[14],"use":[15],"well-defined":[16],"software":[17],"expressions":[18],"and":[19,37,113,127,134],"predicates":[20,109],"regulate":[22],"behavior.":[24],"Current":[25],"SDN":[26],"controllers,":[27],"such":[28],"as":[29,107],"Floodlight,":[30],"offer":[31],"framework":[33,94],"develop,":[35],"test":[36,128],"run":[38],"applications":[39],"that":[40],"control":[41],"the":[42,46,76,123,131],"operation,":[44],"including":[45],"firewall":[47,56,105,117,135],"function.":[48],"However,":[49],"they":[50],"are":[51],"not":[52],"able":[53,102],"validate":[55],"policies,":[57],"detect":[58,70,81,112],"conflicts;":[59],"neither":[60],"avoids":[61],"contradictory":[62],"configurations":[63],"on":[64,96],"devices.":[66],"Some":[67],"compilers":[68],"only":[69],"conflicts":[71,82,115],"subset":[74],"of":[75,125],"language;":[77],"hence,":[78],"it":[79,129],"cannot":[80],"related":[83],"contradicting":[85],"rules":[86],"with":[87],"security":[88],"controls.":[89],"This":[90],"paper":[91],"presents":[92],"our":[93],"based":[95],"Alloy":[97],"called":[98],"FireWell.":[99],"FireWell":[100,126],"model":[104],"policies":[106],"formal":[108],"validate,":[111],"prevent":[114],"in":[116],"policies.":[118],"In":[119],"addition":[120],"we":[121],"present":[122],"implementation":[124],"using":[130],"Floodlight":[132],"controller":[133],"application.":[136]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}