Ivannikov Institute for System Programming of the RAS


On the update problems for Software Defined Networks.

Authors

V.A. Zakharov, E.V. Chemeritsky

Full text of the paper in pdf (in Russian)

Keywords

software defined network, switch, controller, forwarding rule, packet, network update, route, post-condition, invariant

Research Group

Theoretical Computer Science

All publications during 2014 All publications