{"id":"https://openalex.org/W2943277379","doi":"https://doi.org/10.3390/fi11050107","title":"An Extensible Automated Failure Localization Framework Using NetKAT, Felix, and SDN Traceroute","display_name":"An Extensible Automated Failure Localization Framework Using NetKAT, Felix, and SDN Traceroute","publication_year":2019,"publication_date":"2019-05-04","ids":{"openalex":"https://openalex.org/W2943277379","doi":"https://doi.org/10.3390/fi11050107","mag":"2943277379"},"language":"en","primary_location":{"id":"doi:10.3390/fi11050107","is_oa":true,"landing_page_url":"https://doi.org/10.3390/fi11050107","pdf_url":"https://www.mdpi.com/1999-5903/11/5/107/pdf?version=1558077511","source":{"id":"https://openalex.org/S34838331","display_name":"Future Internet","issn_l":"1999-5903","issn":["1999-5903"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Future Internet","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/1999-5903/11/5/107/pdf?version=1558077511","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070937397","display_name":"Istv\u00e1n Pelle","orcid":"https://orcid.org/0000-0003-2514-3019"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"Istv\u00e1n Pelle","raw_affiliation_strings":["MTA-BME Information Systems Research Group, Budapest University of Technology and Economics, 1111 Budapest, Hungary"],"raw_orcid":"https://orcid.org/0000-0003-2514-3019","affiliations":[{"raw_affiliation_string":"MTA-BME Information Systems Research Group, Budapest University of Technology and Economics, 1111 Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025536392","display_name":"Andr\u00e1s Guly\u00e1s","orcid":"https://orcid.org/0000-0003-2906-8319"},"institutions":[{"id":"https://openalex.org/I29770179","display_name":"Budapest University of Technology and Economics","ror":"https://ror.org/02w42ss30","country_code":"HU","type":"education","lineage":["https://openalex.org/I29770179"]}],"countries":["HU"],"is_corresponding":false,"raw_author_name":"Andr\u00e1s Guly\u00e1s","raw_affiliation_strings":["MTA-BME Information Systems Research Group, Budapest University of Technology and Economics, 1111 Budapest, Hungary"],"raw_orcid":"https://orcid.org/0000-0003-2906-8319","affiliations":[{"raw_affiliation_string":"MTA-BME Information Systems Research Group, Budapest University of Technology and Economics, 1111 Budapest, Hungary","institution_ids":["https://openalex.org/I29770179"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5070937397"],"corresponding_institution_ids":["https://openalex.org/I29770179"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.3716,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63220948,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"11","issue":"5","first_page":"107","last_page":"107"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9958999752998352,"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.9901999831199646,"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/troubleshooting","display_name":"Troubleshooting","score":0.9425138235092163},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9038445949554443},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6008815765380859},{"id":"https://openalex.org/keywords/traceroute","display_name":"traceroute","score":0.5592293739318848},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5068877339363098},{"id":"https://openalex.org/keywords/networking-hardware","display_name":"Networking hardware","score":0.48407474160194397},{"id":"https://openalex.org/keywords/extensibility","display_name":"Extensibility","score":0.4285365343093872},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3630005419254303},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.315541535615921},{"id":"https://openalex.org/keywords/network-topology","display_name":"Network topology","score":0.2928294539451599},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.23683565855026245}],"concepts":[{"id":"https://openalex.org/C147494362","wikidata":"https://www.wikidata.org/wiki/Q2078905","display_name":"Troubleshooting","level":2,"score":0.9425138235092163},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9038445949554443},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6008815765380859},{"id":"https://openalex.org/C157497606","wikidata":"https://www.wikidata.org/wiki/Q603227","display_name":"traceroute","level":3,"score":0.5592293739318848},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5068877339363098},{"id":"https://openalex.org/C159631557","wikidata":"https://www.wikidata.org/wiki/Q1546066","display_name":"Networking hardware","level":2,"score":0.48407474160194397},{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.4285365343093872},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3630005419254303},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.315541535615921},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.2928294539451599},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.23683565855026245}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.3390/fi11050107","is_oa":true,"landing_page_url":"https://doi.org/10.3390/fi11050107","pdf_url":"https://www.mdpi.com/1999-5903/11/5/107/pdf?version=1558077511","source":{"id":"https://openalex.org/S34838331","display_name":"Future Internet","issn_l":"1999-5903","issn":["1999-5903"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Future Internet","raw_type":"journal-article"},{"id":"pmh:oai:real.mtak.hu:99056","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400081","display_name":"Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210140733","host_organization_name":"Library and Information Centre of the Hungarian Academy of Sciences","host_organization_lineage":["https://openalex.org/I4210140733"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:RePEc:gam:jftint:v:11:y:2019:i:5:p:107-:d:228169","is_oa":false,"landing_page_url":"https://www.mdpi.com/1999-5903/11/5/107/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"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":"article"},{"id":"pmh:oai:doaj.org/article:0e2ca32ebd6b4a9f86911265c2dea14f","is_oa":true,"landing_page_url":"https://doaj.org/article/0e2ca32ebd6b4a9f86911265c2dea14f","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Future Internet, Vol 11, Iss 5, p 107 (2019)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/1999-5903/11/5/107/","is_oa":true,"landing_page_url":"http://dx.doi.org/10.3390/fi11050107","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Future Internet","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/fi11050107","is_oa":true,"landing_page_url":"https://doi.org/10.3390/fi11050107","pdf_url":"https://www.mdpi.com/1999-5903/11/5/107/pdf?version=1558077511","source":{"id":"https://openalex.org/S34838331","display_name":"Future Internet","issn_l":"1999-5903","issn":["1999-5903"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Future Internet","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2943277379.pdf","grobid_xml":"https://content.openalex.org/works/W2943277379.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W102952074","https://openalex.org/W658262817","https://openalex.org/W1882012874","https://openalex.org/W1964174056","https://openalex.org/W2040340473","https://openalex.org/W2055860677","https://openalex.org/W2098081907","https://openalex.org/W2105589190","https://openalex.org/W2118404561","https://openalex.org/W2123130182","https://openalex.org/W2130210899","https://openalex.org/W2146191242","https://openalex.org/W2147118406","https://openalex.org/W2148994573","https://openalex.org/W2158051955","https://openalex.org/W2180601376","https://openalex.org/W2466040765","https://openalex.org/W2491693446","https://openalex.org/W2501089562","https://openalex.org/W2565828169","https://openalex.org/W2592190581","https://openalex.org/W2596434558","https://openalex.org/W2735845449","https://openalex.org/W2808291050","https://openalex.org/W2890519302","https://openalex.org/W3098828539","https://openalex.org/W3100402266","https://openalex.org/W4253586965","https://openalex.org/W6733816119","https://openalex.org/W6774941962","https://openalex.org/W7049144852"],"related_works":["https://openalex.org/W3013479934","https://openalex.org/W4318325534","https://openalex.org/W4240398146","https://openalex.org/W2467308209","https://openalex.org/W2913357653","https://openalex.org/W1981753479","https://openalex.org/W4312489236","https://openalex.org/W4238338086","https://openalex.org/W4205094947","https://openalex.org/W2473657959"],"abstract_inverted_index":{"Designing,":[0],"implementing,":[1],"and":[2,10,93,109,136,141,148,170,172],"maintaining":[3],"network":[4,95,120,137,151,176,194],"policies":[5,27],"that":[6,113,180],"protect":[7],"from":[8],"internal":[9],"external":[11],"threats":[12],"is":[13,28,66,85],"a":[14,105,123,187],"highly":[15],"non-trivial":[16],"task.":[17],"Often,":[18],"troubleshooting":[19,83,126,195],"networks":[20,35],"consisting":[21],"of":[22,51,58,82,119,150,158,183],"diverse":[23],"entities":[24],"realizing":[25],"complex":[26],"even":[29],"harder.":[30],"Software-defined":[31],"networking":[32],"(SDN)":[33],"enables":[34],"to":[36,38],"adapt":[37],"changing":[39],"scenarios,":[40],"which":[41],"significantly":[42,191],"lessens":[43],"human":[44],"effort":[45],"required":[46],"for":[47,125,167,175],"constant":[48],"manual":[49],"modifications":[50],"device":[52],"configurations.":[53],"Troubleshooting":[54],"benefits":[55],"SDN\u2019s":[56],"method":[57],"accessing":[59],"forwarding":[60],"devices":[61],"as":[62],"well,":[63],"since":[64],"monitoring":[65,138],"made":[67,86],"much":[68],"easier":[69],"via":[70],"unified":[71],"control":[72],"channels.":[73],"However,":[74],"by":[75,153],"making":[76],"policy":[77],"changes":[78],"easier,":[79],"the":[80,117,131,146,155,181,193],"job":[81],"operators":[84],"harder":[87],"too:":[88],"For":[89],"humans,":[90],"finding,":[91],"analyzing,":[92],"fixing":[94],"issues":[96,152],"becomes":[97],"almost":[98],"intractable.":[99],"In":[100],"this":[101],"paper,":[102],"we":[103,178],"present":[104],"failure":[106],"localization":[107],"framework":[108,129,189],"its":[110],"proof-of-concept":[111],"prototype":[112],"helps":[114],"in":[115,186],"automating":[116],"investigation":[118],"issues.":[121],"Like":[122],"controller":[124],"tools,":[127],"our":[128],"integrates":[130],"formal":[132,168],"specification":[133,169],"(expected":[134],"behavior)":[135,140],"(actual":[139],"automatically":[142],"gives":[143],"hints":[144],"about":[145],"location":[147],"type":[149],"comparing":[154],"two":[156],"types":[157],"information.":[159],"By":[160],"using":[161],"NetKAT":[162],"(Kleene":[163],"algebra":[164],"with":[165],"tests)":[166],"Felix":[171],"SDN":[173],"traceroute":[174],"monitoring,":[177],"show":[179],"integration":[182],"these":[184],"tools":[185],"single":[188],"can":[190],"ease":[192],"process.":[196]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}