TY - GEN
T1 - Formal modeling and security analysis for openflow-based networks
AU - Zhao, Yongxin
AU - Wu, Xi
AU - Liu, Jing
AU - Yang, Yilong
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/12/27
Y1 - 2018/12/27
N2 - 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.
AB - 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.
KW - OpenFlow-based networks
KW - Operational semantics
KW - Security analysis
UR - https://www.scopus.com/pages/publications/85061352783
U2 - 10.1109/ICECCS2018.2018.00032
DO - 10.1109/ICECCS2018.2018.00032
M3 - 会议稿件
AN - SCOPUS:85061352783
T3 - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
SP - 201
EP - 204
BT - Proceedings - 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018
Y2 - 12 December 2018 through 14 December 2018
ER -