Static equivalence checking for openflow networks

Hyuk Lee, Jin Young Choi

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


Software-defined networking (SDN) provides many advantages over traditional networking by separating the control and data planes. One of the advantages is to provide programmability, which allows administrators to control the behavior of the network. The network configuration may need to be changed for some reason. Whenever such changes are made, it can be required to verify that the forwarding behavior is preserved from the existing configuration, that is, whether the ruleset is properly reflected. In this paper, we propose the forwarding behavior based equivalence checking of OpenFlow networks. We present the formal definition of the network model and the forwarding behavior of the packet flow. Based on the definition, We present a method for checking the equivalence of OpenFlow network forwarding behaviors. Next, we present the implementation of the proposed method, using the constraint satisfaction method, which will be the basis for further extension.

Original languageEnglish
Article number2207
JournalElectronics (Switzerland)
Issue number18
Publication statusPublished - 2021 Sept

Bibliographical note

Funding Information:
This work was partly supported by a Korea University Grant and the National Research Foundation of Korea(NRF) grant funded by the Korea government(MSIT) (No. NRF-2018R1A2B6009122) and Institute of Information & communications Technology Planning & Evaluation (IITP) grant funded by the Korea government(MSIT) (No.2018-0-00532, Development of High-Assurance (≥EAL6) Secure Microkernel).

Publisher Copyright:
© 2021 by the authors. Licensee MDPI, Basel, Switzerland.


  • Constraint satisfaction problem
  • Formal modeling
  • Forwarding behavior equivalence check
  • OpenFlow
  • Software-defined networking

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Signal Processing
  • Hardware and Architecture
  • Computer Networks and Communications
  • Electrical and Electronic Engineering


Dive into the research topics of 'Static equivalence checking for openflow networks'. Together they form a unique fingerprint.

Cite this