Formal Verification of SDN-Based Firewalls by using TLA+

  • Main
  • 2020
  • Formal Verification of SDN-Based Firewalls by using TLA+
IEEE Access 2020

Formal Verification of SDN-Based Firewalls by using TLA+

Kim, Young-Mi, Kang, Miyoung
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2020
Journal:
IEEE Access
DOI:
10.1109/ACCESS.2020.2979894
File:
PDF, 4.19 MB
2020
Conversion to is in progress
Conversion to is failed