A Formal Model and Verification Problems for Software Defined Networks

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...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Main Authors: V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky
Formato: Artigo
Idioma:Inglês
Publicado em: Yaroslavl State University 2013-12-01
Colecção:Modelirovanie i Analiz Informacionnyh Sistem
Assuntos:
software defined network
switch, controller
forwarding rule
packet
formal model
specification
model checking
Acesso em linha:https://www.mais-journal.ru/jour/article/view/156
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados