@inproceedings{093bbdb19fe848d7954f510cabb340d2,
title = "Process algebraic specification of software defined networks",
abstract = "In this paper, we first present a formal specification for a part of Software Defined Networks(SDN) using a process algebra called Algebra of Communicating Shard Resources(ACSR). To provide a correct and efficient solution for forwarding packets on the Software Defined Networks, ACSR can express processes running concurrently and communicating switches and a controller. Forwarding packets can be modeled as prioritized synchronization of events in ACSR. During specifying formally, we could find the Subtle Ambiguity in the SDN specification. The central contribution of this paper is to describe how to apply a formal specification method to a part of informal SDN specification. It is important to specify SDN and verify the properties of the SDN using formal specification before implementing the systems. Furthermore, we prove the correctness of ACSR specification to show deadlockfreeness using VERSA.",
keywords = "Formal Specification, Future Internet, OpenFlow, SDN",
author = "Miyoung Kang and Junkil Park and Choi, {Jin Young} and Nam, {Ki Hyuk} and Shin, {Myung Ki}",
note = "Copyright: Copyright 2012 Elsevier B.V., All rights reserved.; 2012 4th International Conference on Computational Intelligence, Communication Systems and Networks, CICSyN 2012 ; Conference date: 24-07-2012 Through 26-07-2012",
year = "2012",
doi = "10.1109/CICSyN.2012.72",
language = "English",
isbn = "9780769548210",
series = "Proceedings - 2012 4th International Conference on Computational Intelligence, Communication Systems and Networks, CICSyN 2012",
pages = "359--363",
booktitle = "Proceedings - 2012 4th International Conference on Computational Intelligence, Communication Systems and Networks, CICSyN 2012",
}