Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Iptables_Semantics: new material by C. Diekmann
  2. Network_Security_Policy_Verification: new material by C. Diekmann
Changeset 7949:ce63ec22a260 by lars hupel _lars.hupel@mytum.de_:
Iptables_Semantics: new material by C. Diekmann
The file was addedthys/Iptables_Semantics/Access_Matrix_Embeddings.thy
The file was addedthys/Iptables_Semantics/Alternative_Semantics.thy
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/docker_topos/iptables-save.Ln.FWD.lower
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/docker_topos/iptables-save.Ln.FWD.upper
The file was addedthys/Iptables_Semantics/Examples/IPPartEval/docker_topos/iptables-save.topos4.1
The file was addedthys/Iptables_Semantics/Examples/containern/Analyze_Containern.thy
The file was addedthys/Iptables_Semantics/Examples/containern/iptables-save.topos1
The file was addedthys/Iptables_Semantics/Examples/containern/iptables-save.topos4.1
The file was addedthys/Iptables_Semantics/Examples/containern/iptables-save.topos4.1.established
The file was modified thys/Iptables_Semantics/Documentation.thy (diff)
The file was modified thys/Iptables_Semantics/Examples/IPPartEval/IP_Address_Space_Examples_All_Small.thy (diff)
The file was modified thys/Iptables_Semantics/ROOT (diff)
The file was modified thys/Iptables_Semantics/Semantics_Goto.thy (diff)
The file was modified thys/Simple_Firewall/Service_Matrix.thy (diff)
The file was modified thys/Simple_Firewall/SimpleFw_Semantics.thy (diff)
Changeset 7948:630d05fc160c by lars hupel _lars.hupel@mytum.de_:
Network_Security_Policy_Verification: new material by C. Diekmann
The file was modified thys/Network_Security_Policy_Verification/Examples/Distributed_WebApp.thy (diff)
The file was modified thys/Network_Security_Policy_Verification/Examples/Tainting/MeasrDroid.thy (diff)
The file was modified thys/Network_Security_Policy_Verification/Security_Invariants/SINVAR_ACLnotCommunicateWith.thy (diff)
The file was modified thys/Network_Security_Policy_Verification/TopoS_Composition_Theory.thy (diff)