UPF Firewall

MaRDI QIDQ40515swMATHFDO

Authors Achim D. Brucker, Lukas Brügger, Burkhart Wolff

Publication date 8 January 2017

Official website https://www.isa-afp.org/entries/UPF_Firewall.html

Cites work

• On theorem prover-based testing
• Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing

Cited in

(13)

• Verified iptables firewall analysis and verification
• FIREMAN
• Firmato
• NetCore
• Firewall Builder
• Simple Firewall
• IP Addresses
• Iptables Semantics
• LOFT
• ConfigChecker
• Routing
• iptables
• nftables

This page was built for software: UPF Firewall