Verified iptables firewall analysis and verification (Q1663231): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Autoref
@@ Property / describes a project that uses: Autoref / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NetCore
@@ Property / describes a project that uses: NetCore / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Iptables Semantics
@@ Property / describes a project that uses: Iptables Semantics / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Simple Firewall
@@ Property / describes a project that uses: Simple Firewall / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Firewall Builder
@@ Property / describes a project that uses: Firewall Builder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IP Addresses
@@ Property / describes a project that uses: IP Addresses / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UPF Firewall
@@ Property / describes a project that uses: UPF Firewall / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+margrave
@@ Property / describes a project that uses: margrave / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-017-9445-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2781706673
@@ Property / OpenAlex ID: W2781706673 / rank @@
+Normal rank
@@ Property / cites work @@
+NetKAT
@@ Property / cites work: NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Verified iptables firewall analysis and verification
+Normal rank
@@ Property / cites work @@
+A Coalgebraic Decision Procedure for NetKAT
@@ Property / cites work: A Coalgebraic Decision Procedure for NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Code Generation via Higher-Order Rewrite Systems
@@ Property / cites work: Code Generation via Higher-Order Rewrite Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Data Refinement
@@ Property / cites work: Automatic Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Data Refinement for Monadic Programs to Hopcroft’s Algorithm
+Normal rank
@@ Property / cites work @@
+Concrete Semantics
@@ Property / cites work: Concrete Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+A fast compiler for NetKAT
@@ Property / cites work: A fast compiler for NetKAT / rank @@
+Normal rank