Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP). https://www.isa-afp.org/entries/UPF_Firewall.shtml
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
Achim D. Brucker b8df20bd53 Import of AFP for Isabelle 2021. 11 months ago
..
Examples Import of official AFP entry for Isabelle 2019. 3 years ago
FWNormalisation Import of official AFP entry for Isabelle 2019. 3 years ago
NAT Import of official AFP entry for Isabelle 2019. 3 years ago
PacketFilter Import of official AFP entry for Isabelle 2019. 3 years ago
StatefulFW Import of official AFP entry for Isabelle 2019. 3 years ago
document Import of AFP for Isabelle 2021. 11 months ago
ROOT Migration to Isabelle 2020. 2 years ago
UPF-Firewall.thy Import of official AFP entry for Isabelle 2019. 3 years ago