| Title | Formal Modeling and Security Analysis for OpenFlow-Based Networks |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Zhao, Yongxin, Wu, Xi, Liu, Jing, Yang, Yilong |
| Conference Name | 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS) |
| Keywords | composability, computer network security, dynamic flow rules, Dynamic Networks and Security, dynamic OpenFlow applications, formal OpenFlow-based network programming language, Metrics, Network topology, openflow-based networks, Operational Semantics, point-to-point topology, Protocols, pubcrawl, Resiliency, security, security analysis, Semantics, Switches, Topology, topology-oriented operational semantics |
| Abstract | We present a formal OpenFlow-based network programming language (OF) including various flow rules, which can not only describe the behaviors of an individual switch, but also support to model a network of switches connected in the point-to-point topology. Besides, a topology-oriented operational semantics of the proposed language is explored to specify how the packet is processed and delivered in the OpenFlow-based networks. Based on the formal framework, we also propose an approach to detect potential security threats caused by the conflict of dynamic flow rules imposed by dynamic OpenFlow applications. |
| DOI | 10.1109/ICECCS2018.2018.00032 |
| Citation Key | zhao_formal_2018 |
Formal Modeling and Security Analysis for OpenFlow-Based Networks