Formal Specification Framework for Software-Defined Networks (SDN)
draft-shin-sdn-formal-specification-03
Document | Type |
Expired Internet-Draft
(individual)
Expired & archived
|
|
---|---|---|---|
Authors | Myung-Ki Shin , Ki-Hyuk Nam , Miyoung Kang , Jin-Young Choi | ||
Last updated | 2013-08-17 (Latest revision 2013-02-13) | ||
RFC stream | (None) | ||
Intended RFC status | (None) | ||
Formats | |||
Stream | Stream state | (No stream defined) | |
Consensus boilerplate | Unknown | ||
RFC Editor Note | (None) | ||
IESG | IESG state | Expired | |
Telechat date | (None) | ||
Responsible AD | (None) | ||
Send notices to | (None) |
This Internet-Draft is no longer active. A copy of the expired Internet-Draft is available in these formats:
Abstract
This document discusses formally verifiable networking framework for software-defined networks (SDN). In SDN, incomplete or malicious programmable entities could cause break-down of underlying networks shared by heterogeneous devices and stake-holders. Formally verifiable networking can provide a logic-based framework to unify the design, specification, verification, and implementation of SDN. This framework describes formal specification and verification process for SDN. In addition, we present two examples of formal specification for a part of SDN using a process algebra called Algebra of Communicating Shard Resources (ACSR) and Z specification languages.
Authors
Myung-Ki Shin
Ki-Hyuk Nam
Miyoung Kang
Jin-Young Choi
(Note: The e-mail addresses provided for the authors of this Internet-Draft may no longer be valid.)