Local mirror of Formal Network Models and Their Application to Firewall Policies (UPF-Firewall) entry of the Archive of Formal Proofs (AFP).
-
Updated
Mar 25, 2022 - Isabelle
Local mirror of Formal Network Models and Their Application to Firewall Policies (UPF-Firewall) entry of the Archive of Formal Proofs (AFP).
Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP).
Add a description, image, and links to the afp topic page so that developers can more easily learn about it.
To associate your repository with the afp topic, visit your repo's landing page and select "manage topics."