Formal verification of SDN-based firewalls by using TLA+

YM Kim, M Kang - IEEE Access, 2020 - ieeexplore.ieee.org
Software-defined networking (SDN) has generated increased interest due to the rapid
growth in the amount of data generated by the development of the Internet and …

[PDF][PDF] Formal Verification of SDN-Based Firewalls by Using TLA

YMI KIM, M KANG - network - scholar.archive.org
Software-defined networking (SDN) has generated increased interest due to the rapid
growth in the amount of data generated by the development of the Internet and …

Formal Verification of SDN-Based Firewalls by Using TLA & x002B

YM Kim, M Kang - IEEE ACCESS, 2020 - scholar.korea.ac.kr
Software-defined networking (SDN) has generated increased interest due to the rapid
growth in the amount of data generated by the development of the Internet and …

[CITATION][C] Formal Verification of SDN-Based Firewalls by Using TLA+

YM Kim, M Kang - IEEE Access, 2020 - ui.adsabs.harvard.edu
Formal Verification of SDN-Based Firewalls by Using TLA+ - NASA/ADS Now on home
page ads icon ads Enable full ADS view NASA/ADS Formal Verification of SDN-Based …