Brucker, A.D., Brügger, L. and Wolff, B. (2017) Formal Network Models and Their Application to Firewall Policies (UPF-Firewall). Archive of Formal Proofs. ISSN 2150-914X
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. Our work focuses on modeling application level protocols on top of tcp/ip.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | Copyright © 2004, Gerwin Klein, Tobias Nipkow, Lawrence C. Paulson. Copyright © 2016, contributing authors. All rights reserved. Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution. Neither the name of the Archive of Formal Proofs nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission. |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 17 Jan 2017 11:40 |
Last Modified: | 17 Jan 2017 11:40 |
Published Version: | https://www.isa-afp.org/entries/UPF_Firewall.shtml |
Status: | Published |
Publisher: | Archive of Formal Proofs |
Refereed: | Yes |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:110410 |