Formal Network Models and Their Application to Firewall Policies (UPF-Firewall)

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

Metadata

Authors/Creators:
  • Brucker, A.D.
  • Brügger, L.
  • Wolff, B.
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:
  • Published: 11 January 2017
  • Published (online): 11 January 2017
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

Share / Export