afp-mirror
/
UPF_Firewall
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed section structure.

This commit is contained in:
Achim D. Brucker 2016-12-30 15:14:47 +00:00
parent 9f8a9e6100
commit 1192827354
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
FWNormalisation/FWNormalisation.thy
View File

@ -34,7 +34,7 @@
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*****************************************************************************) *****************************************************************************)
chapter {* Firewall Policy Normalisation *} section {* Firewall Policy Normalisation *}
theory theory
FWNormalisation FWNormalisation
imports imports

2
PacketFilter/PacketFilter.thy
View File

@ -34,7 +34,7 @@
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*****************************************************************************) *****************************************************************************)
subsection {* Network Policies: Packet Filter *} section {* Network Policies: Packet Filter *}
theory theory
PacketFilter PacketFilter
imports imports