I-D Action: draft-shin-sdn-formal-specification-03.txt

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



A New Internet-Draft is available from the on-line Internet-Drafts directories.


	Title           : Formal Specification Framework for Software-Defined Networks (SDN)
	Author(s)       : Myung-Ki Shin
                          Ki-Hyuk Nam
                          Miyoung Kang
                          Jin-Young Choi
	Filename        : draft-shin-sdn-formal-specification-03.txt
	Pages           : 14
	Date            : 2013-02-13

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.



The IETF datatracker status page for this draft is:
https://datatracker.ietf.org/doc/draft-shin-sdn-formal-specification

There's also a htmlized version available at:
http://tools.ietf.org/html/draft-shin-sdn-formal-specification-03

A diff from the previous version is available at:
http://www.ietf.org/rfcdiff?url2=draft-shin-sdn-formal-specification-03


Internet-Drafts are also available by anonymous FTP at:
ftp://ftp.ietf.org/internet-drafts/

_______________________________________________
I-D-Announce mailing list
I-D-Announce@ietf.org
https://www.ietf.org/mailman/listinfo/i-d-announce
Internet-Draft directories: http://www.ietf.org/shadow.html
or ftp://ftp.ietf.org/ietf/1shadow-sites.txt


[Index of Archives]     [IETF]     [IETF Discussion]     [Linux Kernel]

  Powered by Linux