Verified iptables firewall analysis and verification

DOI10.1007/S10817-017-9445-1zbMATH Open1451.68173OpenAlexW2781706673WikidataQ90699732 ScholiaQ90699732MaRDI QIDQ1663231FDOQ1663231

Authors: Cornelius Diekmann, Lars Hupel, Julius Michaelis, Georg Carle, Maximilian P. L. Haslbeck 

Publication date: 21 August 2018

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-017-9445-1

Recommendations

• Validating firewalls using flow logics
• scientific article; zbMATH DE number 2080705
• scientific article; zbMATH DE number 2084352
• scientific article; zbMATH DE number 1983212
• Firewall policy verification and troubleshooting

zbMATH Keywords

semanticsfirewallsformal verificationIsabellecomputer networksiptablesnetfilter

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network design and communication in computer systems (68M10) Computer security (68M25) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Automatic Data Refinement
• NetKAT
• Title not available (Why is that?)
• Isabelle/HOL. A proof assistant for higher-order logic
• Concrete Semantics
• Code generation via higher-order rewrite systems
• Applying data refinement for monadic programs to Hopcroft's algorithm
• Verified iptables firewall analysis and verification
• A coalgebraic decision procedure for NetKAT
• A fast compiler for NetKAT

Cited In (2)

• Firewall policy verification and troubleshooting
• Verified iptables firewall analysis and verification

Uses Software

• Isabelle
• Isabelle/HOL
• TikZ
• FIREMAN
• Firmato
• Autoref
• NetCore
• NetKAT
• Archive Formal Proofs
• Firewall Builder
• Simple Firewall
• IP Addresses
• UPF Firewall
• Iptables Semantics
• margrave
• LOFT
• ConfigChecker
• Routing
• pgf
• GitHub
• iptables
• nftables

This page was built for publication: Verified iptables firewall analysis and verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1663231)