Show simple item record

dc.contributor.authorMirzaei, Saberen_US
dc.contributor.authorBahargam, Sanazen_US
dc.contributor.authorSkowyra, Richarden_US
dc.contributor.authorKfoury, Assafen_US
dc.contributor.authorBestavros, Azeren_US
dc.date.accessioned2015-06-24T19:48:53Z
dc.date.available2015-06-24T19:48:53Z
dc.date.issued2013-07-10en_US
dc.identifier.citationMirzaei, Saber; Bahargam, Sanaz; Skowyra, Richard; Kfoury, Assaf; Bestavros, Azer. "Using Alloy to Formally Model and Reason About an OpenFlow Network Switch", Technical Report BUCS-TR-2013-007, Computer Science Department, Boston University, July 10, 2013. [Available from: http://hdl.handle.net/2144/11416]en_US
dc.identifier.urihttps://hdl.handle.net/2144/11416
dc.description.abstractOpenflow provides a standard interface for separating a network into a data plane and a programmatic control plane. This enables easy network reconfiguration, but introduces the potential for programming bugs to cause network effects. To study OpenFlow switch behavior, we used Alloy to create a software abstraction describing the internal state of a network and its OpenFlow switches. This work is an attempt to model the static and dynamic behaviour a network built using OpenFlow switches.en_US
dc.language.isoen_USen_US
dc.publisherComputer Science Department, Boston Universityen_US
dc.relation.ispartofseriesBUCS Technical Reports;BUCS-TR-2013-007en_US
dc.titleUsing alloy to formally model and reason about an OpenFlow network switchen_US
dc.typeTechnical Reporten_US


This item appears in the following Collection(s)

Show simple item record