English Switch to English Version

A formal model and verification problems for Software Defined Networks

Статья 28.04.2014 E.V. Chemeritsky, R.L. Smelyansky, V.A. Zakharov Источник: Proceedings of the 4-th International Workshop "Program Semantics, Specification and Verification: Theory and Applications", Ekaterinburg, Russia, с. 21-30 Аннотация: 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
ow-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.

Скачать pdf-файл материала