UPF Firewall swMATH ID: 28801 Software Authors: Achim D. Brucker, Lukas Brügger, Burkhart Wolff Description: Formal Network Models and Their Application to Firewall Policies. We present a formal model of network protocols and their application to modeling firewall policies. The formalization is based on the Unified Policy Framework (UPF). The formalization was originally developed with for generating test cases for testing the security configuration actual firewall and router (middle-boxes) using HOL-TestGen. Our work focuses on modeling application level protocols on top of tcp/ip Homepage: https://www.isa-afp.org/entries/UPF_Firewall.html Dependencies: Isabelle Related Software: GitHub; NetKAT; Firmato; Autoref; nftables; iptables; pgf; Routing; ConfigChecker; LOFT; margrave; Iptables Semantics; IP Addresses; Simple Firewall; Firewall Builder; Archive Formal Proofs; NetCore; FIREMAN; TikZ; Isabelle/HOL Cited in: 1 Document Cited by 5 Authors 1 Carle, Georg 1 Diekmann, Cornelius 1 Haslbeck, Maximilian P. L. 1 Hupel, Lars 1 Michaelis, Julius Cited in 1 Serial 1 Journal of Automated Reasoning Cited in 1 Field 1 Computer science (68-XX) Citations by Year