TY - JOUR AU - Brucker, Achim D. AU - Brügger, Lukas AU - Wolff, Burkhart PY - 2017 DA - 2017/01/ TI - Formal Network Models and Their Application to Firewall Policies JO - Archive of Formal Proofs AB - 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. SN - 2150-914x L1 - https://www.brucker.ch/bibliography/download/2017/brucker.ea-upf-firewall-2017.pdf L1 - https://www.brucker.ch/bibliography/download/2017/brucker.ea-upf-firewall-outline-2017.pdf UR - http://www.isa-afp.org/entries/UPF_Firewall.shtml, Formal proof development UR - https://www.brucker.ch/bibliography/abstract/brucker.ea-upf-firewall-2017 ID - brucker.ea:upf-firewall:2017 ER -