Geodesic
A Formal Model and Verification Problems for Software Defined Networks
Modelirovanie i analiz informacionnyh sistem, Tome 20 (2013) no. 6, pp. 36-51

Voir la notice de l'article provenant de la source Math-Net.Ru

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 SDN.
Keywords: software defined network, switch, controller, forwarding rule, packet, formal model, specification, model checking. 
@article{MAIS_2013_20_6_a2,
     author = {V. A. Zakharov and R. L. Smelyansky and E. V. Chemeritsky},
     title = {A {Formal} {Model} and {Verification} {Problems} for {Software} {Defined} {Networks}},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {36--51},
     publisher = {mathdoc},
     volume = {20},
     number = {6},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2013_20_6_a2/}
}
TY  - JOUR
AU  - V. A. Zakharov
AU  - R. L. Smelyansky
AU  - E. V. Chemeritsky
TI  - A Formal Model and Verification Problems for Software Defined Networks
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2013
SP  - 36
EP  - 51
VL  - 20
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2013_20_6_a2/
LA  - ru
ID  - MAIS_2013_20_6_a2
ER  - 
%0 Journal Article
%A V. A. Zakharov
%A R. L. Smelyansky
%A E. V. Chemeritsky
%T A Formal Model and Verification Problems for Software Defined Networks
%J Modelirovanie i analiz informacionnyh sistem
%D 2013
%P 36-51
%V 20
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2013_20_6_a2/
%G ru
%F MAIS_2013_20_6_a2
V. A. Zakharov; R. L. Smelyansky; E. V. Chemeritsky. A Formal Model and Verification Problems for Software Defined Networks. Modelirovanie i analiz informacionnyh sistem, Tome 20 (2013) no. 6, pp. 36-51. http://geodesic.mathdoc.fr/item/MAIS_2013_20_6_a2/