IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols
by Tobias Klenze and Christoph Sprenger
by Tobias Klenze and Christoph Sprenger
Computer science/Networks
Subject Classification
ACM: Networks
2022
by Tobias Klenze and Christoph Sprenger
2017
Formal Network Models and Their Application to Firewall Policies
by Achim D. Brucker, Lukas Brügger and Burkhart Wolff