UPF Firewall (Q40515)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry UPF_Firewall
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | UPF Firewall |
AFP entry UPF_Firewall |
Statements
Achim D. Brucker
0 references
Lukas Brügger
0 references
Burkhart Wolff
0 references
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.
0 references
8 January 2017
0 references
Formal Network Models and Their Application to Firewall Policies (English)
0 references
