Verified iptables firewall analysis and verification

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

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

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

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

• Title not available (Why is that?)
• Automatic Data Refinement
• NetKAT
• 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

Recommendations

• Validating firewalls using flow logics 👍 👎
• Firewall policy verification and troubleshooting 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)