Formal Network Models and Their Application to Firewall Policies
Brucker, AD; Brügger, L; Wolff, B
Date: 8 January 2017
Journal
Archive of Formal Proofs
Publisher
AFP
Related links
Abstract
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. ...
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.
Computer Science
Faculty of Environment, Science and Economy
Item views 0
Full item downloads 0