{"id":"https://openalex.org/W2000024736","doi":"https://doi.org/10.1109/icnp.2012.6459961","title":"A formally-verified migration protocol for mobile, multi-homed hosts","display_name":"A formally-verified migration protocol for mobile, multi-homed hosts","publication_year":2012,"publication_date":"2012-10-01","ids":{"openalex":"https://openalex.org/W2000024736","doi":"https://doi.org/10.1109/icnp.2012.6459961","mag":"2000024736"},"language":"en","primary_location":{"id":"doi:10.1109/icnp.2012.6459961","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnp.2012.6459961","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 20th IEEE 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/A5014721485","display_name":"Matvey Arye","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matvey Arye","raw_affiliation_strings":["Princeton University, NJ, USA","Princeton Univ, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Princeton University, NJ, USA","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"Princeton Univ, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066073113","display_name":"Erik Nordstr\u00f6m","orcid":"https://orcid.org/0000-0003-1117-4412"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Erik Nordstr\u00f6m","raw_affiliation_strings":["Princeton University, NJ, USA","Princeton Univ, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Princeton University, NJ, USA","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"Princeton Univ, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019442892","display_name":"Robert Kiefer","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert Kiefer","raw_affiliation_strings":["Princeton University, NJ, USA","Princeton Univ, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Princeton University, NJ, USA","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"Princeton Univ, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003914268","display_name":"Jennifer Rexford","orcid":"https://orcid.org/0000-0002-0231-8165"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jennifer Rexford","raw_affiliation_strings":["Princeton University, NJ, USA","Princeton Univ, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Princeton University, NJ, USA","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"Princeton Univ, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029514761","display_name":"Michael J. Freedman","orcid":"https://orcid.org/0000-0002-5305-2395"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael J. Freedman","raw_affiliation_strings":["Princeton University, NJ, USA","Princeton Univ, NJ, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Princeton University, NJ, USA","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"Princeton Univ, NJ, USA","institution_ids":["https://openalex.org/I20089843"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I20089843"],"apc_list":null,"apc_paid":null,"fwci":3.9972,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.93926663,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10651","display_name":"IPv6, Mobility, Handover, Networks, Security","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10651","display_name":"IPv6, Mobility, Handover, Networks, Security","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T11158","display_name":"Wireless Networks and Protocols","score":0.9991000294685364,"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/T12203","display_name":"Mobile Agent-Based Network Management","score":0.9972000122070312,"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/computer-network","display_name":"Computer network","score":0.829645574092865},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8279735445976257},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.6042509078979492},{"id":"https://openalex.org/keywords/host","display_name":"Host (biology)","score":0.5534482598304749},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5072867274284363},{"id":"https://openalex.org/keywords/mobile-ip","display_name":"Mobile IP","score":0.4931876063346863},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.4905537962913513},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.4843798577785492},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.45640361309051514},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.4554942548274994},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.41846364736557007},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.122891366481781},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.11309930682182312}],"concepts":[{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.829645574092865},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8279735445976257},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.6042509078979492},{"id":"https://openalex.org/C126831891","wikidata":"https://www.wikidata.org/wiki/Q221673","display_name":"Host (biology)","level":2,"score":0.5534482598304749},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5072867274284363},{"id":"https://openalex.org/C82203111","wikidata":"https://www.wikidata.org/wiki/Q205936","display_name":"Mobile IP","level":3,"score":0.4931876063346863},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.4905537962913513},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.4843798577785492},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.45640361309051514},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.4554942548274994},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.41846364736557007},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.122891366481781},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.11309930682182312},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icnp.2012.6459961","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icnp.2012.6459961","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 20th IEEE International Conference on Network Protocols (ICNP)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.550000011920929}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W116580745","https://openalex.org/W1571968373","https://openalex.org/W1808014354","https://openalex.org/W1895387792","https://openalex.org/W1936269000","https://openalex.org/W1945910338","https://openalex.org/W2016931722","https://openalex.org/W2022951746","https://openalex.org/W2101269152","https://openalex.org/W2103376620","https://openalex.org/W2115309705","https://openalex.org/W2119836184","https://openalex.org/W2150220944","https://openalex.org/W2165413796","https://openalex.org/W4247672884","https://openalex.org/W4255076892","https://openalex.org/W4285719527","https://openalex.org/W6638265949","https://openalex.org/W6639584577","https://openalex.org/W6675682752"],"related_works":["https://openalex.org/W587735977","https://openalex.org/W1978142926","https://openalex.org/W3157395178","https://openalex.org/W2108035022","https://openalex.org/W184455116","https://openalex.org/W2058473748","https://openalex.org/W963756281","https://openalex.org/W2592744244","https://openalex.org/W2390235546","https://openalex.org/W2027014711"],"abstract_inverted_index":{"Modern":[0],"consumer":[1],"devices,":[2],"like":[3],"smartphones":[4],"and":[5,12,88,160,163,167],"tablets,":[6],"have":[7],"multiple":[8,54,82,91],"interfaces":[9,55,83],"(e.g.,":[10],"WiFi":[11],"4G)":[13],"that":[14,35,76,148],"attach":[15],"to":[16,38,79,128,146,164],"new":[17],"access":[18],"points":[19],"as":[20],"users":[21],"move.":[22],"These":[23],"mobile,":[24],"multi-homed":[25],"computers":[26],"are":[27],"a":[28,45,51,118],"poor":[29],"match":[30],"with":[31,41,84,90,110],"an":[32,70,111,122],"Internet":[33],"architecture":[34],"binds":[36],"connections":[37],"fixed":[39],"endpoints":[40],"topology-dependent":[42],"addresses.":[43],"As":[44],"result,":[46],"hosts":[47,78],"typically":[48],"cannot":[49],"spread":[50],"connection":[52,72,101],"over":[53,81],"or":[56,58,96,105,113,130],"paths,":[57],"change":[59,131],"locations":[60],"without":[61,135],"breaking":[62],"existing":[63,123],"connections.":[64],"In":[65],"this":[66],"paper,":[67],"we":[68],"create":[69],"end-to-end":[71,116],"control":[73],"protocol":[74],"(ECCP)":[75],"allows":[77],"communicate":[80],"dynamically-changing":[85],"IP":[86,133],"addresses":[87],"works":[89,150],"data-delivery":[92],"protocols":[93],"(i.e.,":[94],"reliable":[95],"unreliable":[97],"transport).":[98],"Each":[99],"ECCP":[100,149],"consists":[102],"of":[103,155],"one":[104,126],"more":[106],"flows,":[107],"each":[108],"associated":[109],"interface":[112,127],"path.":[114],"Through":[115],"signaling,":[117],"host":[119],"can":[120],"move":[121],"flow":[124],"from":[125,138],"another,":[129],"its":[132],"address,":[134],"any":[136],"support":[137],"the":[139,153],"underlying":[140],"network.":[141],"We":[142],"develop":[143],"formal":[144],"models":[145],"verify":[147],"correctly":[151],"in":[152,170],"presence":[154],"packet":[156],"loss,":[157],"out-of-order":[158],"delivery,":[159],"frequent":[161],"mobility,":[162],"identify":[165],"bugs":[166],"design":[168],"limitations":[169],"earlier":[171],"mobility":[172],"protocols.":[173]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}