Email Gateway (Aug 22 2022 at 14:56): Email Gateway (Aug 22 2022 at 14:56):From: Tobias Nipkow <nipkow@in.tum.de>
Formal Network Models and Their Application to Firewall Policies
Achim D. Brucker, Lukas Brügger and Burkhart Wolff
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.
https://www.isa-afp.org/entries/UPF_Firewall.shtml
Enjoy!
smime.p7s
Last updated: Apr 23 2024 at 04:18 UTC