A formally-verified migration protocol for mobile, multi-homed hosts

Matvey Arye, Erik Nordström, Robert Kiefer, Jennifer Rexford, Michael J. Freedman. A formally-verified migration protocol for mobile, multi-homed hosts. In 20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012. pages 1-12, IEEE, 2012. [doi]

Abstract

Abstract is missing.