Show simple item record

dc.contributor.authorVolpano, Dennis
dc.date23 November 2017
dc.date.accessioned2018-12-13T21:07:40Z
dc.date.available2018-12-13T21:07:40Z
dc.date.issued2017-11-23
dc.identifier.citationVolpano, Dennis. "Modular network function virtualization." Computer Communications Workshops (INFOCOM WKSHPS), 2017 IEEE Conference on. IEEE, 2017.en_US
dc.identifier.urihttp://hdl.handle.net/10945/60808
dc.descriptionThe article of record as published may be found at http://dx.doi.org/10.1109/INFCOMW.2017.8116499en_US
dc.description2017 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)
dc.description.abstractNetwork 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.en_US
dc.format.extent6 p.en_US
dc.publisherIEEEen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.titleModular network function virtualizationen_US
dc.typeArticleen_US
dc.contributor.corporateNaval Postgraduate School (U.S.)en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record