Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP). https://www.isa-afp.org/entries/UPF_Firewall.shtml
選択できるのは25トピックまでです。 トピックは、先頭が英数字で、英数字とダッシュ('-')を使用した35文字以内のものにしてください。
 
 
Achim D. Brucker b8df20bd53 Import of AFP for Isabelle 2021. 5ヶ月前
.ci Migration to Isabelle 2020. 1年前
UPF_Firewall Import of AFP for Isabelle 2021. 5ヶ月前
CITATION Added citation information for AFP entry. 3年前
LICENSE Initial commit. 5年前
README.md Improved markdown. 1年前

README.md

Formal Network Models and Their Application to Firewall Policies (UPF_Firewall)

This git repository contains a local mirror of A Formal Network Model and Their Application to Firewall Policies entry of the Archive of Formal Proofs (AFP).

The official AFP releases are tagged. Additionally, this repository may contain extensions (i.e., a development version) that may be submitted (as an update of the UPF_Firewall entry) at a later stage.

Installation

This project depends on another AFP entry: The Unified Policy Framework (UPF). Please follow the official guidelines for installing the AFP locally. For short:

  • Download the complete AFP
  • Extract the downloaded archive to an directory of your choice
  • Let's assume the extracted archive lives in /home/isabelle/afp, now execute:
achim@logicalhacking:~$ echo "/home/isabelle/afp/thys" >> ~/.isabelle/Isabelle2020/ROOTS

How to build

achim@logicalhacking:~$ isabelle build -D UPF_Firewall

Authors

License

This project is licensed under a 3-clause BSD-style license.

SPDX-License-Identifier: BSD-3-Clause

Master Repository

The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/afp-mirror/UPF_Firewall.

Publications