Skip to main content

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