A formal model and verification problems for Software Defined Networks.


A formal model and verification problems for Software Defined Networks.

Authors

Chemeritsky E.V., Smeliansky R.L., Zakharov V.A.

Abstract

Software Defined Networking (SDN) is an approach to building computer networks that separate and abstract data planes and control planes of these systems. In a SDN a centralized controller manages a distributed set of switches. A set of open commands for packet forwarding and flow table updating was defined in the form of a protocol known as OpenFlow. In this paper we describe an abstract formal model of SDN, introduce a tentative language for specification of SDN forwarding policies, and set up formally model-checking problems for SDNs.

Text of article

Keywords

software defined network, switch, controller, forwarding rule, packet, formal model, specification, model checking

Edition

Automatic Control and Computer Sciences, Allerton Press Inc. (United States), 2014, vol. 48, № 7, pp. 398-406.

Research Group

Theoretical Computer Science

All publications during 2014 All publications