From 963252949e97f919ab8557b93ed21d9be7778f4a Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 11 Jan 2017 10:08:30 +0000 Subject: [PATCH] Renaming to match offical naming of afp entry. --- README.md | 4 ++-- {UPF-Firewall => UPF_Firewall}/Examples/DMZ/DMZ.thy | 0 {UPF-Firewall => UPF_Firewall}/Examples/DMZ/DMZDatatype.thy | 0 {UPF-Firewall => UPF_Firewall}/Examples/DMZ/DMZInteger.thy | 0 {UPF-Firewall => UPF_Firewall}/Examples/Examples.thy | 0 {UPF-Firewall => UPF_Firewall}/Examples/NAT-FW/NAT-FW.thy | 0 .../Examples/PersonalFirewall/PersonalFirewall.thy | 0 .../Examples/PersonalFirewall/PersonalFirewallDatatype.thy | 0 .../Examples/PersonalFirewall/PersonalFirewallInt.thy | 0 .../Examples/PersonalFirewall/PersonalFirewallIpv4.thy | 0 .../Examples/Transformation/Transformation.thy | 0 .../Examples/Transformation/Transformation01.thy | 0 .../Examples/Transformation/Transformation02.thy | 0 {UPF-Firewall => UPF_Firewall}/Examples/VoIP/VoIP.thy | 0 .../FWNormalisation/ElementaryRules.thy | 0 .../FWNormalisation/FWNormalisation.thy | 0 .../FWNormalisation/FWNormalisationCore.thy | 0 .../FWNormalisation/NormalisationGenericProofs.thy | 0 .../FWNormalisation/NormalisationIPPProofs.thy | 0 .../FWNormalisation/NormalisationIntegerPortProof.thy | 0 {UPF-Firewall => UPF_Firewall}/NAT/NAT.thy | 0 .../PacketFilter/DatatypeAddress.thy | 0 {UPF-Firewall => UPF_Firewall}/PacketFilter/DatatypePort.thy | 0 {UPF-Firewall => UPF_Firewall}/PacketFilter/IPv4.thy | 0 {UPF-Firewall => UPF_Firewall}/PacketFilter/IPv4_TCPUDP.thy | 0 .../PacketFilter/IntegerAddress.thy | 0 {UPF-Firewall => UPF_Firewall}/PacketFilter/IntegerPort.thy | 0 .../PacketFilter/IntegerPort_TCPUDP.thy | 0 {UPF-Firewall => UPF_Firewall}/PacketFilter/NetworkCore.thy | 0 {UPF-Firewall => UPF_Firewall}/PacketFilter/NetworkModels.thy | 0 {UPF-Firewall => UPF_Firewall}/PacketFilter/PacketFilter.thy | 0 .../PacketFilter/PolicyCombinators.thy | 0 {UPF-Firewall => UPF_Firewall}/PacketFilter/PolicyCore.thy | 0 .../PacketFilter/PortCombinators.thy | 0 {UPF-Firewall => UPF_Firewall}/PacketFilter/Ports.thy | 0 .../PacketFilter/ProtocolPortCombinators.thy | 0 {UPF-Firewall => UPF_Firewall}/ROOT | 0 {UPF-Firewall => UPF_Firewall}/StatefulFW/FTP.thy | 0 {UPF-Firewall => UPF_Firewall}/StatefulFW/FTPVOIP.thy | 0 {UPF-Firewall => UPF_Firewall}/StatefulFW/FTP_WithPolicy.thy | 0 {UPF-Firewall => UPF_Firewall}/StatefulFW/LTL_alike.thy | 0 {UPF-Firewall => UPF_Firewall}/StatefulFW/StatefulCore.thy | 0 {UPF-Firewall => UPF_Firewall}/StatefulFW/StatefulFW.thy | 0 {UPF-Firewall => UPF_Firewall}/StatefulFW/VOIP.thy | 0 {UPF-Firewall => UPF_Firewall}/UPF-Firewall.thy | 0 {UPF-Firewall => UPF_Firewall}/document/introduction.tex | 0 {UPF-Firewall => UPF_Firewall}/document/root.bib | 0 {UPF-Firewall => UPF_Firewall}/document/root.tex | 0 48 files changed, 2 insertions(+), 2 deletions(-) rename {UPF-Firewall => UPF_Firewall}/Examples/DMZ/DMZ.thy (100%) rename {UPF-Firewall => UPF_Firewall}/Examples/DMZ/DMZDatatype.thy (100%) rename {UPF-Firewall => UPF_Firewall}/Examples/DMZ/DMZInteger.thy (100%) rename {UPF-Firewall => UPF_Firewall}/Examples/Examples.thy (100%) rename {UPF-Firewall => UPF_Firewall}/Examples/NAT-FW/NAT-FW.thy (100%) rename {UPF-Firewall => UPF_Firewall}/Examples/PersonalFirewall/PersonalFirewall.thy (100%) rename {UPF-Firewall => UPF_Firewall}/Examples/PersonalFirewall/PersonalFirewallDatatype.thy (100%) rename {UPF-Firewall => UPF_Firewall}/Examples/PersonalFirewall/PersonalFirewallInt.thy (100%) rename {UPF-Firewall => UPF_Firewall}/Examples/PersonalFirewall/PersonalFirewallIpv4.thy (100%) rename {UPF-Firewall => UPF_Firewall}/Examples/Transformation/Transformation.thy (100%) rename {UPF-Firewall => UPF_Firewall}/Examples/Transformation/Transformation01.thy (100%) rename {UPF-Firewall => UPF_Firewall}/Examples/Transformation/Transformation02.thy (100%) rename {UPF-Firewall => UPF_Firewall}/Examples/VoIP/VoIP.thy (100%) rename {UPF-Firewall => UPF_Firewall}/FWNormalisation/ElementaryRules.thy (100%) rename {UPF-Firewall => UPF_Firewall}/FWNormalisation/FWNormalisation.thy (100%) rename {UPF-Firewall => UPF_Firewall}/FWNormalisation/FWNormalisationCore.thy (100%) rename {UPF-Firewall => UPF_Firewall}/FWNormalisation/NormalisationGenericProofs.thy (100%) rename {UPF-Firewall => UPF_Firewall}/FWNormalisation/NormalisationIPPProofs.thy (100%) rename {UPF-Firewall => UPF_Firewall}/FWNormalisation/NormalisationIntegerPortProof.thy (100%) rename {UPF-Firewall => UPF_Firewall}/NAT/NAT.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/DatatypeAddress.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/DatatypePort.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/IPv4.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/IPv4_TCPUDP.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/IntegerAddress.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/IntegerPort.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/IntegerPort_TCPUDP.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/NetworkCore.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/NetworkModels.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/PacketFilter.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/PolicyCombinators.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/PolicyCore.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/PortCombinators.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/Ports.thy (100%) rename {UPF-Firewall => UPF_Firewall}/PacketFilter/ProtocolPortCombinators.thy (100%) rename {UPF-Firewall => UPF_Firewall}/ROOT (100%) rename {UPF-Firewall => UPF_Firewall}/StatefulFW/FTP.thy (100%) rename {UPF-Firewall => UPF_Firewall}/StatefulFW/FTPVOIP.thy (100%) rename {UPF-Firewall => UPF_Firewall}/StatefulFW/FTP_WithPolicy.thy (100%) rename {UPF-Firewall => UPF_Firewall}/StatefulFW/LTL_alike.thy (100%) rename {UPF-Firewall => UPF_Firewall}/StatefulFW/StatefulCore.thy (100%) rename {UPF-Firewall => UPF_Firewall}/StatefulFW/StatefulFW.thy (100%) rename {UPF-Firewall => UPF_Firewall}/StatefulFW/VOIP.thy (100%) rename {UPF-Firewall => UPF_Firewall}/UPF-Firewall.thy (100%) rename {UPF-Firewall => UPF_Firewall}/document/introduction.tex (100%) rename {UPF-Firewall => UPF_Firewall}/document/root.bib (100%) rename {UPF-Firewall => UPF_Firewall}/document/root.tex (100%) diff --git a/README.md b/README.md index 69b5add..2a4928b 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Formal Network Models and Their Application to Firewall Policies (UPF-Firewall) +# 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](https://www.isa-afp.org/entries/UPF_Firewall.shtml) entry of the @@ -28,7 +28,7 @@ you need to change this import to `$AFP/UPF/UPF`. ## How to build ``` -isabelle build -d UPF-Firewall . UPF-Firewall +isabelle build -d UPF_Firewall . UPF-Firewall ``` ## Authors diff --git a/UPF-Firewall/Examples/DMZ/DMZ.thy b/UPF_Firewall/Examples/DMZ/DMZ.thy similarity index 100% rename from UPF-Firewall/Examples/DMZ/DMZ.thy rename to UPF_Firewall/Examples/DMZ/DMZ.thy diff --git a/UPF-Firewall/Examples/DMZ/DMZDatatype.thy b/UPF_Firewall/Examples/DMZ/DMZDatatype.thy similarity index 100% rename from UPF-Firewall/Examples/DMZ/DMZDatatype.thy rename to UPF_Firewall/Examples/DMZ/DMZDatatype.thy diff --git a/UPF-Firewall/Examples/DMZ/DMZInteger.thy b/UPF_Firewall/Examples/DMZ/DMZInteger.thy similarity index 100% rename from UPF-Firewall/Examples/DMZ/DMZInteger.thy rename to UPF_Firewall/Examples/DMZ/DMZInteger.thy diff --git a/UPF-Firewall/Examples/Examples.thy b/UPF_Firewall/Examples/Examples.thy similarity index 100% rename from UPF-Firewall/Examples/Examples.thy rename to UPF_Firewall/Examples/Examples.thy diff --git a/UPF-Firewall/Examples/NAT-FW/NAT-FW.thy b/UPF_Firewall/Examples/NAT-FW/NAT-FW.thy similarity index 100% rename from UPF-Firewall/Examples/NAT-FW/NAT-FW.thy rename to UPF_Firewall/Examples/NAT-FW/NAT-FW.thy diff --git a/UPF-Firewall/Examples/PersonalFirewall/PersonalFirewall.thy b/UPF_Firewall/Examples/PersonalFirewall/PersonalFirewall.thy similarity index 100% rename from UPF-Firewall/Examples/PersonalFirewall/PersonalFirewall.thy rename to UPF_Firewall/Examples/PersonalFirewall/PersonalFirewall.thy diff --git a/UPF-Firewall/Examples/PersonalFirewall/PersonalFirewallDatatype.thy b/UPF_Firewall/Examples/PersonalFirewall/PersonalFirewallDatatype.thy similarity index 100% rename from UPF-Firewall/Examples/PersonalFirewall/PersonalFirewallDatatype.thy rename to UPF_Firewall/Examples/PersonalFirewall/PersonalFirewallDatatype.thy diff --git a/UPF-Firewall/Examples/PersonalFirewall/PersonalFirewallInt.thy b/UPF_Firewall/Examples/PersonalFirewall/PersonalFirewallInt.thy similarity index 100% rename from UPF-Firewall/Examples/PersonalFirewall/PersonalFirewallInt.thy rename to UPF_Firewall/Examples/PersonalFirewall/PersonalFirewallInt.thy diff --git a/UPF-Firewall/Examples/PersonalFirewall/PersonalFirewallIpv4.thy b/UPF_Firewall/Examples/PersonalFirewall/PersonalFirewallIpv4.thy similarity index 100% rename from UPF-Firewall/Examples/PersonalFirewall/PersonalFirewallIpv4.thy rename to UPF_Firewall/Examples/PersonalFirewall/PersonalFirewallIpv4.thy diff --git a/UPF-Firewall/Examples/Transformation/Transformation.thy b/UPF_Firewall/Examples/Transformation/Transformation.thy similarity index 100% rename from UPF-Firewall/Examples/Transformation/Transformation.thy rename to UPF_Firewall/Examples/Transformation/Transformation.thy diff --git a/UPF-Firewall/Examples/Transformation/Transformation01.thy b/UPF_Firewall/Examples/Transformation/Transformation01.thy similarity index 100% rename from UPF-Firewall/Examples/Transformation/Transformation01.thy rename to UPF_Firewall/Examples/Transformation/Transformation01.thy diff --git a/UPF-Firewall/Examples/Transformation/Transformation02.thy b/UPF_Firewall/Examples/Transformation/Transformation02.thy similarity index 100% rename from UPF-Firewall/Examples/Transformation/Transformation02.thy rename to UPF_Firewall/Examples/Transformation/Transformation02.thy diff --git a/UPF-Firewall/Examples/VoIP/VoIP.thy b/UPF_Firewall/Examples/VoIP/VoIP.thy similarity index 100% rename from UPF-Firewall/Examples/VoIP/VoIP.thy rename to UPF_Firewall/Examples/VoIP/VoIP.thy diff --git a/UPF-Firewall/FWNormalisation/ElementaryRules.thy b/UPF_Firewall/FWNormalisation/ElementaryRules.thy similarity index 100% rename from UPF-Firewall/FWNormalisation/ElementaryRules.thy rename to UPF_Firewall/FWNormalisation/ElementaryRules.thy diff --git a/UPF-Firewall/FWNormalisation/FWNormalisation.thy b/UPF_Firewall/FWNormalisation/FWNormalisation.thy similarity index 100% rename from UPF-Firewall/FWNormalisation/FWNormalisation.thy rename to UPF_Firewall/FWNormalisation/FWNormalisation.thy diff --git a/UPF-Firewall/FWNormalisation/FWNormalisationCore.thy b/UPF_Firewall/FWNormalisation/FWNormalisationCore.thy similarity index 100% rename from UPF-Firewall/FWNormalisation/FWNormalisationCore.thy rename to UPF_Firewall/FWNormalisation/FWNormalisationCore.thy diff --git a/UPF-Firewall/FWNormalisation/NormalisationGenericProofs.thy b/UPF_Firewall/FWNormalisation/NormalisationGenericProofs.thy similarity index 100% rename from UPF-Firewall/FWNormalisation/NormalisationGenericProofs.thy rename to UPF_Firewall/FWNormalisation/NormalisationGenericProofs.thy diff --git a/UPF-Firewall/FWNormalisation/NormalisationIPPProofs.thy b/UPF_Firewall/FWNormalisation/NormalisationIPPProofs.thy similarity index 100% rename from UPF-Firewall/FWNormalisation/NormalisationIPPProofs.thy rename to UPF_Firewall/FWNormalisation/NormalisationIPPProofs.thy diff --git a/UPF-Firewall/FWNormalisation/NormalisationIntegerPortProof.thy b/UPF_Firewall/FWNormalisation/NormalisationIntegerPortProof.thy similarity index 100% rename from UPF-Firewall/FWNormalisation/NormalisationIntegerPortProof.thy rename to UPF_Firewall/FWNormalisation/NormalisationIntegerPortProof.thy diff --git a/UPF-Firewall/NAT/NAT.thy b/UPF_Firewall/NAT/NAT.thy similarity index 100% rename from UPF-Firewall/NAT/NAT.thy rename to UPF_Firewall/NAT/NAT.thy diff --git a/UPF-Firewall/PacketFilter/DatatypeAddress.thy b/UPF_Firewall/PacketFilter/DatatypeAddress.thy similarity index 100% rename from UPF-Firewall/PacketFilter/DatatypeAddress.thy rename to UPF_Firewall/PacketFilter/DatatypeAddress.thy diff --git a/UPF-Firewall/PacketFilter/DatatypePort.thy b/UPF_Firewall/PacketFilter/DatatypePort.thy similarity index 100% rename from UPF-Firewall/PacketFilter/DatatypePort.thy rename to UPF_Firewall/PacketFilter/DatatypePort.thy diff --git a/UPF-Firewall/PacketFilter/IPv4.thy b/UPF_Firewall/PacketFilter/IPv4.thy similarity index 100% rename from UPF-Firewall/PacketFilter/IPv4.thy rename to UPF_Firewall/PacketFilter/IPv4.thy diff --git a/UPF-Firewall/PacketFilter/IPv4_TCPUDP.thy b/UPF_Firewall/PacketFilter/IPv4_TCPUDP.thy similarity index 100% rename from UPF-Firewall/PacketFilter/IPv4_TCPUDP.thy rename to UPF_Firewall/PacketFilter/IPv4_TCPUDP.thy diff --git a/UPF-Firewall/PacketFilter/IntegerAddress.thy b/UPF_Firewall/PacketFilter/IntegerAddress.thy similarity index 100% rename from UPF-Firewall/PacketFilter/IntegerAddress.thy rename to UPF_Firewall/PacketFilter/IntegerAddress.thy diff --git a/UPF-Firewall/PacketFilter/IntegerPort.thy b/UPF_Firewall/PacketFilter/IntegerPort.thy similarity index 100% rename from UPF-Firewall/PacketFilter/IntegerPort.thy rename to UPF_Firewall/PacketFilter/IntegerPort.thy diff --git a/UPF-Firewall/PacketFilter/IntegerPort_TCPUDP.thy b/UPF_Firewall/PacketFilter/IntegerPort_TCPUDP.thy similarity index 100% rename from UPF-Firewall/PacketFilter/IntegerPort_TCPUDP.thy rename to UPF_Firewall/PacketFilter/IntegerPort_TCPUDP.thy diff --git a/UPF-Firewall/PacketFilter/NetworkCore.thy b/UPF_Firewall/PacketFilter/NetworkCore.thy similarity index 100% rename from UPF-Firewall/PacketFilter/NetworkCore.thy rename to UPF_Firewall/PacketFilter/NetworkCore.thy diff --git a/UPF-Firewall/PacketFilter/NetworkModels.thy b/UPF_Firewall/PacketFilter/NetworkModels.thy similarity index 100% rename from UPF-Firewall/PacketFilter/NetworkModels.thy rename to UPF_Firewall/PacketFilter/NetworkModels.thy diff --git a/UPF-Firewall/PacketFilter/PacketFilter.thy b/UPF_Firewall/PacketFilter/PacketFilter.thy similarity index 100% rename from UPF-Firewall/PacketFilter/PacketFilter.thy rename to UPF_Firewall/PacketFilter/PacketFilter.thy diff --git a/UPF-Firewall/PacketFilter/PolicyCombinators.thy b/UPF_Firewall/PacketFilter/PolicyCombinators.thy similarity index 100% rename from UPF-Firewall/PacketFilter/PolicyCombinators.thy rename to UPF_Firewall/PacketFilter/PolicyCombinators.thy diff --git a/UPF-Firewall/PacketFilter/PolicyCore.thy b/UPF_Firewall/PacketFilter/PolicyCore.thy similarity index 100% rename from UPF-Firewall/PacketFilter/PolicyCore.thy rename to UPF_Firewall/PacketFilter/PolicyCore.thy diff --git a/UPF-Firewall/PacketFilter/PortCombinators.thy b/UPF_Firewall/PacketFilter/PortCombinators.thy similarity index 100% rename from UPF-Firewall/PacketFilter/PortCombinators.thy rename to UPF_Firewall/PacketFilter/PortCombinators.thy diff --git a/UPF-Firewall/PacketFilter/Ports.thy b/UPF_Firewall/PacketFilter/Ports.thy similarity index 100% rename from UPF-Firewall/PacketFilter/Ports.thy rename to UPF_Firewall/PacketFilter/Ports.thy diff --git a/UPF-Firewall/PacketFilter/ProtocolPortCombinators.thy b/UPF_Firewall/PacketFilter/ProtocolPortCombinators.thy similarity index 100% rename from UPF-Firewall/PacketFilter/ProtocolPortCombinators.thy rename to UPF_Firewall/PacketFilter/ProtocolPortCombinators.thy diff --git a/UPF-Firewall/ROOT b/UPF_Firewall/ROOT similarity index 100% rename from UPF-Firewall/ROOT rename to UPF_Firewall/ROOT diff --git a/UPF-Firewall/StatefulFW/FTP.thy b/UPF_Firewall/StatefulFW/FTP.thy similarity index 100% rename from UPF-Firewall/StatefulFW/FTP.thy rename to UPF_Firewall/StatefulFW/FTP.thy diff --git a/UPF-Firewall/StatefulFW/FTPVOIP.thy b/UPF_Firewall/StatefulFW/FTPVOIP.thy similarity index 100% rename from UPF-Firewall/StatefulFW/FTPVOIP.thy rename to UPF_Firewall/StatefulFW/FTPVOIP.thy diff --git a/UPF-Firewall/StatefulFW/FTP_WithPolicy.thy b/UPF_Firewall/StatefulFW/FTP_WithPolicy.thy similarity index 100% rename from UPF-Firewall/StatefulFW/FTP_WithPolicy.thy rename to UPF_Firewall/StatefulFW/FTP_WithPolicy.thy diff --git a/UPF-Firewall/StatefulFW/LTL_alike.thy b/UPF_Firewall/StatefulFW/LTL_alike.thy similarity index 100% rename from UPF-Firewall/StatefulFW/LTL_alike.thy rename to UPF_Firewall/StatefulFW/LTL_alike.thy diff --git a/UPF-Firewall/StatefulFW/StatefulCore.thy b/UPF_Firewall/StatefulFW/StatefulCore.thy similarity index 100% rename from UPF-Firewall/StatefulFW/StatefulCore.thy rename to UPF_Firewall/StatefulFW/StatefulCore.thy diff --git a/UPF-Firewall/StatefulFW/StatefulFW.thy b/UPF_Firewall/StatefulFW/StatefulFW.thy similarity index 100% rename from UPF-Firewall/StatefulFW/StatefulFW.thy rename to UPF_Firewall/StatefulFW/StatefulFW.thy diff --git a/UPF-Firewall/StatefulFW/VOIP.thy b/UPF_Firewall/StatefulFW/VOIP.thy similarity index 100% rename from UPF-Firewall/StatefulFW/VOIP.thy rename to UPF_Firewall/StatefulFW/VOIP.thy diff --git a/UPF-Firewall/UPF-Firewall.thy b/UPF_Firewall/UPF-Firewall.thy similarity index 100% rename from UPF-Firewall/UPF-Firewall.thy rename to UPF_Firewall/UPF-Firewall.thy diff --git a/UPF-Firewall/document/introduction.tex b/UPF_Firewall/document/introduction.tex similarity index 100% rename from UPF-Firewall/document/introduction.tex rename to UPF_Firewall/document/introduction.tex diff --git a/UPF-Firewall/document/root.bib b/UPF_Firewall/document/root.bib similarity index 100% rename from UPF-Firewall/document/root.bib rename to UPF_Firewall/document/root.bib diff --git a/UPF-Firewall/document/root.tex b/UPF_Firewall/document/root.tex similarity index 100% rename from UPF-Firewall/document/root.tex rename to UPF_Firewall/document/root.tex