Laddar…
Academic Journal
A Formal Model and Verification Problems for Software Defined Networks
V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky
Моделирование и анализ информационных систем, Vol 20, Iss 6, Pp 36-51 (2013)
Sparad:
| Titel | A Formal Model and Verification Problems for Software Defined Networks |
|---|---|
| Författarna | V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky |
| Utgivningsår |
2013
|
| Källa |
Моделирование и анализ информационных систем, Vol 20, Iss 6, Pp 36-51 (2013)
|
| Beskrivning |
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.
|
| Dokumenttyp |
article
|
| Språk |
English
Russian |
| Information om utgivare |
Yaroslavl State University, 2013.
|
| Ämnestermer | |
