{"id":"https://openalex.org/W4389989208","doi":"https://doi.org/10.1109/icnp59255.2023.10355631","title":"Correctness of EIGRP Generalized for Arbitrary Routing Metrics and Policies","display_name":"Correctness of EIGRP Generalized for Arbitrary Routing Metrics and Policies","publication_year":2023,"publication_date":"2023-10-10","ids":{"openalex":"https://openalex.org/W4389989208","doi":"https://doi.org/10.1109/icnp59255.2023.10355631"},"language":"en","primary_location":{"id":"doi:10.1109/icnp59255.2023.10355631","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icnp59255.2023.10355631","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 31st International Conference on Network Protocols (ICNP)","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/A5029108392","display_name":"J.L. Sobrinho","orcid":"https://orcid.org/0000-0002-4476-100X"},"institutions":[{"id":"https://openalex.org/I4210120471","display_name":"Instituto de Telecomunica\u00e7\u00f5es","ror":"https://ror.org/02ht4fk33","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210120471"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Jo\u00e3o Lu\u00eds Sobrinho","raw_affiliation_strings":["Instituto de Telecomunicações and Instituto Superior Técnico, Universidade de Lisboa"],"affiliations":[{"raw_affiliation_string":"Instituto de Telecomunicações and Instituto Superior Técnico, Universidade de Lisboa","institution_ids":["https://openalex.org/I4210120471","https://openalex.org/I141596103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100581412","display_name":"Ricardo Pestana Santos","orcid":null},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I4210120471","display_name":"Instituto de Telecomunica\u00e7\u00f5es","ror":"https://ror.org/02ht4fk33","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210120471"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Ricardo Pestana Santos","raw_affiliation_strings":["Instituto de Telecomunicações and Instituto Superior Técnico, Universidade de Lisboa"],"affiliations":[{"raw_affiliation_string":"Instituto de Telecomunicações and Instituto Superior Técnico, Universidade de Lisboa","institution_ids":["https://openalex.org/I4210120471","https://openalex.org/I141596103"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5029108392"],"corresponding_institution_ids":["https://openalex.org/I141596103","https://openalex.org/I4210120471"],"apc_list":null,"apc_paid":null,"fwci":0.2009,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53767733,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"4","issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10138","display_name":"Network Traffic and Congestion Control","score":0.9994000196456909,"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/T10138","display_name":"Network Traffic and Congestion Control","score":0.9994000196456909,"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9990000128746033,"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/T10847","display_name":"Advanced Optical Network Technologies","score":0.9976000189781189,"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/routing-information-protocol","display_name":"Routing Information Protocol","score":0.8877076506614685},{"id":"https://openalex.org/keywords/enhanced-interior-gateway-routing-protocol","display_name":"Enhanced Interior Gateway Routing Protocol","score":0.7723706960678101},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6959734559059143},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.6515482068061829},{"id":"https://openalex.org/keywords/interior-gateway-protocol","display_name":"Interior gateway protocol","score":0.5956595540046692},{"id":"https://openalex.org/keywords/metrics","display_name":"Metrics","score":0.5815052390098572},{"id":"https://openalex.org/keywords/routing-protocol","display_name":"Routing protocol","score":0.5497472882270813},{"id":"https://openalex.org/keywords/link-state-routing-protocol","display_name":"Link-state routing protocol","score":0.5414791703224182},{"id":"https://openalex.org/keywords/border-gateway-protocol","display_name":"Border Gateway Protocol","score":0.5402902960777283},{"id":"https://openalex.org/keywords/distance-vector-routing-protocol","display_name":"Distance-vector routing protocol","score":0.49540984630584717},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4862788915634155},{"id":"https://openalex.org/keywords/static-routing","display_name":"Static routing","score":0.4821126461029053},{"id":"https://openalex.org/keywords/zone-routing-protocol","display_name":"Zone Routing Protocol","score":0.46555736660957336},{"id":"https://openalex.org/keywords/policy-based-routing","display_name":"Policy-based routing","score":0.46170738339424133},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.24409723281860352}],"concepts":[{"id":"https://openalex.org/C7573999","wikidata":"https://www.wikidata.org/wiki/Q207580","display_name":"Routing Information Protocol","level":5,"score":0.8877076506614685},{"id":"https://openalex.org/C87044965","wikidata":"https://www.wikidata.org/wiki/Q1091139","display_name":"Enhanced Interior Gateway Routing Protocol","level":5,"score":0.7723706960678101},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6959734559059143},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.6515482068061829},{"id":"https://openalex.org/C52837422","wikidata":"https://www.wikidata.org/wiki/Q431028","display_name":"Interior gateway protocol","level":5,"score":0.5956595540046692},{"id":"https://openalex.org/C195780805","wikidata":"https://www.wikidata.org/wiki/Q1535986","display_name":"Metrics","level":5,"score":0.5815052390098572},{"id":"https://openalex.org/C104954878","wikidata":"https://www.wikidata.org/wiki/Q1648707","display_name":"Routing protocol","level":3,"score":0.5497472882270813},{"id":"https://openalex.org/C89305328","wikidata":"https://www.wikidata.org/wiki/Q1755411","display_name":"Link-state routing protocol","level":4,"score":0.5414791703224182},{"id":"https://openalex.org/C178086212","wikidata":"https://www.wikidata.org/wiki/Q11155","display_name":"Border Gateway Protocol","level":5,"score":0.5402902960777283},{"id":"https://openalex.org/C202385902","wikidata":"https://www.wikidata.org/wiki/Q1229441","display_name":"Distance-vector routing protocol","level":5,"score":0.49540984630584717},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4862788915634155},{"id":"https://openalex.org/C204948658","wikidata":"https://www.wikidata.org/wiki/Q1119410","display_name":"Static routing","level":4,"score":0.4821126461029053},{"id":"https://openalex.org/C189884158","wikidata":"https://www.wikidata.org/wiki/Q8073926","display_name":"Zone Routing Protocol","level":5,"score":0.46555736660957336},{"id":"https://openalex.org/C196423136","wikidata":"https://www.wikidata.org/wiki/Q7209671","display_name":"Policy-based routing","level":5,"score":0.46170738339424133},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.24409723281860352}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icnp59255.2023.10355631","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/icnp59255.2023.10355631","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE 31st International Conference on Network Protocols (ICNP)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1547196795","https://openalex.org/W1964356133","https://openalex.org/W1985988333","https://openalex.org/W2013173096","https://openalex.org/W2015688007","https://openalex.org/W2018930611","https://openalex.org/W2027482796","https://openalex.org/W2060361043","https://openalex.org/W2099236627","https://openalex.org/W2113230746","https://openalex.org/W2115437593","https://openalex.org/W2137081436","https://openalex.org/W2138760535","https://openalex.org/W2142065670","https://openalex.org/W2180824136","https://openalex.org/W2403202602","https://openalex.org/W2413357567","https://openalex.org/W2943101560","https://openalex.org/W3133035070","https://openalex.org/W3178367004","https://openalex.org/W4300490703","https://openalex.org/W6632635106","https://openalex.org/W6656908812","https://openalex.org/W6682345588","https://openalex.org/W6752626819","https://openalex.org/W6839262351"],"related_works":["https://openalex.org/W2564595897","https://openalex.org/W2945473358","https://openalex.org/W2288152565","https://openalex.org/W2280760643","https://openalex.org/W80757093","https://openalex.org/W2355569481","https://openalex.org/W3196185984","https://openalex.org/W2052500986","https://openalex.org/W2562018880","https://openalex.org/W2372838829"],"abstract_inverted_index":{"Among":[0],"the":[1,6,10,12,20,24,52,100,109,118,122,126,134],"routing":[2,30,137,157,162],"protocols":[3],"deployed":[4],"in":[5,107,166,179],"wired":[7],"infrastructure":[8],"of":[9,22,31,36,44,50,56,91,124,136,147,172],"Internet,":[11],"Enhanced":[13],"Interior":[14],"Gateway":[15,111],"Routing":[16],"Protocol":[17,112],"(EIGRP)":[18],"has":[19],"distinction":[21],"being":[23],"only":[25],"one":[26],"that":[27,81,170],"guarantees":[28],"loop-free":[29,156],"data-packets":[32],"during":[33],"transient":[34],"periods":[35],"convergence.":[37],"However,":[38],"there":[39],"is":[40,105],"no":[41,48],"good":[42],"proof":[43,131],"this":[45],"fact":[46],"and":[47,54,66,77,94,139,161,174],"knowledge":[49],"whether":[51],"actions":[53,123],"behaviors":[55,119],"EIGRP":[57,71],"extend":[58],"beyond":[59],"its":[60],"specific":[61],"composite":[62],"metric":[63],"combining":[64],"delay":[65],"bandwidth.":[67],"This":[68],"paper":[69,127],"generalizes":[70],"for":[72],"operation":[73],"with":[74,87],"arbitrary":[75],"metrics":[76,93,138,173],"policies.":[78],"It":[79],"shows":[80],"generalized-EIGRP":[82],"(gEIGRP)":[83],"can":[84],"be":[85],"used":[86],"a":[88],"broad":[89],"class":[90,135,171],"such":[92],"policies,":[95,175],"but":[96],"less":[97],"so":[98],"than":[99],"protocol":[101],"to":[102,129],"which":[103,150],"it":[104,143],"closest":[106],"kind,":[108],"Border":[110],"(BGP).":[113],"To":[114],"reason":[115],"reliably":[116],"about":[117],"induced":[120],"by":[121],"gEIGRP,":[125],"resorts":[128],"assertional":[130],"methods.":[132],"For":[133],"policies":[140],"mentioned":[141],"above,":[142],"presents":[144],"an":[145],"invariant":[146],"gEIGRP":[148,176],"from":[149],"two":[151],"safety":[152],"properties":[153],"are":[154],"deduced:":[155],"at":[158],"all":[159],"times,":[160],"on":[163],"destination-optimal":[164],"paths":[165],"stable":[167],"state.":[168],"Outside":[169],"may":[177],"deadlock":[178],"states":[180],"harboring":[181],"persistent":[182],"forwarding":[183],"loops.":[184]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-25T23:11:45.687758","created_date":"2025-10-10T00:00:00"}