A Formal Model and Verification Problems for Software Defined Networks

Autor:	V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky
Jazyk:	English<br />Russian
Rok vydání:	2013
Předmět:	software defined network switch controller forwarding rule packet formal model specification model checking Information technology T58.5-58.64
Zdroj:	Моделирование и анализ информационных систем, Vol 20, Iss 6, Pp 36-51 (2013)
Druh dokumentu:	article
ISSN:	1818-1015 2313-5417
DOI:	10.18255/1818-1015-2013-6-36-51
Popis:	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.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/6c872a8460184cab9bd07f28bad2dfe2 Zobrazit plný text záznamu View record in DOAJ