Skip to main content

Compositional Network Mobility

Author(s): Zave, Pamela; Rexford, Jennifer

Download
To refer to this page use: http://arks.princeton.edu/ark:/88435/pr17z67
Abstract: Mobility is a network capability with many forms and many uses. Because it is difficult to implement at Internet scale, there is a large and confusing landscape of mobility proposals which cannot easily be compared or composed. This paper presents formal models of two distinct patterns for implementing mobility, explaining their generality and applicability. We also employ formal verification to show that different instances of the patterns, used for different purposes in a network architecture, compose without alteration or interference. This result applies to all real implementations that are refinements of the patterns.
Publication Date: 2014
Citation: Zave, Pamela, and Jennifer Rexford. "Compositional Network Mobility." In Working Conference on Verified Software: Theories, Tools, and Experiments (2014): pp. 68-87. doi:10.1007/978-3-642-54108-7_4
DOI: 10.1007/978-3-642-54108-7_4
Pages: 68 - 87
Type of Material: Conference Article
Journal/Proceeding Title: Working Conference on Verified Software: Theories, Tools, and Experiments
Version: Author's manuscript



Items in OAR@Princeton are protected by copyright, with all rights reserved, unless otherwise indicated.