2012/03/19 by Matvey Arye, Erik Nordström, Arye, Matvey +7
Computer Science · Engineering · #FOS: Computer and information sciences #IPv6, Mobility, Handover, Networks, Security #Mobile Agent-Based Network Management #Network Traffic and Congestion Control #Networking and Internet Architecture (cs.NI) #Wireless Networks and Protocols
paper · pdf · doi:10.48550/arxiv.1203.4042
openalex publication_date 2012/03/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Modern consumer devices, like smartphones and tablets, have multiple\ninterfaces (e.g., WiFi and 3G) that attach to new access points as users move.\nThese mobile, multi-homed computers are a poor match with an Internet\narchitecture that binds connections to fixed end-points with topology-\ndependent addresses. As a result, hosts typically cannot spread a connection\nover multiple interfaces or paths, or change locations without breaking\nexisting connections.\n In this paper, we introduce ECCP, an end-host connection control protocol\nthat allows hosts to communicate over mul- tiple interfaces with\ndynamically-changing IP addresses. Each ECCP connection consists of one or more\nflows, each associated with an interface or path. A host can move an existing\nflow from one interface to another or change the IP address using in-band\nsignaling, without any support from the underlying network. We use formal\nmodels to verify that ECCP works correctly in the presence of packet loss,\nout-of-order delivery, and frequent mobility, and to identify bugs and design\nlimitations in earlier mobility protocols.\n