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