Modular network function virtualization
MetadataShow full item record
Network functions like load balancers and stateful firewalls which traditionally have been packaged in a single proprietary device are now being virtualized in software across multiple physical devices networked together to achieve greater flexibility and scale. A virtualization can become very complex. Separating its definition from the software that implements it allows this complexity to be managed more easily. This paper describes some elementary behaviors that can be rigorously combined to produce modular definitions of new virtualizations. Behaviors are expressed using a new type of symbolic finite automaton called a λ-SFA. These automata can be formally analyzed and serve as a guide for synthesizing efficient code. As behaviors are combined, proofs of invariants for the result can leverage proofs of invariants for the elementary behaviors.
The article of record as published may be found at http://dx.doi.org/10.1109/INFCOMW.2017.81164992017 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)
Showing items related by title, author, creator and subject.
Larraza, A.; Garrett, S.L.; Putterman, S. (Americal Physical Society, 1990-03-15);We consider the nonlinear processes of interaction between a random field of short deep gravity waves and a deep long gravity wave, as well as the effects of nonlinear interactions among the driven short waves. The ...
McMahon, Christine Marie (Monterey, California. Naval Postgraduate School, 1984-09);This study examines the relationship between influence behaviors and an individual's effectiveness in a work team. The influence behaviors of individuals in 17 navy decision-making groups from both shore and operational ...
Martin, Michael W. (Monterey, California. Naval Postgraduate School, 2006-06);This work presents a conceptual structure for the behaviors of artificial intelligence agents, with emphasis on creating teamwork through individual behaviors. The goal is to set up a framework which enables teams of ...