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 …
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 …
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 …
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 …
page ads icon ads Enable full ADS view NASA/ADS Formal Verification of SDN-Based …