NetCore

swMATH13063MaRDI QIDQ24982FDOQ24982

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?doid=2103656.2103685

Cited In (15)

• Computational verification of network programs in Coq
• FIREMAN
• Firmato
• ConfigChecker
• Firewall Builder
• IP Addresses
• Iptables Semantics
• LOFT
• Simple Firewall
• Routing
• UPF Firewall
• Anteater
• nftables
• iptables
• Verified iptables firewall analysis and verification

This page was built for software: NetCore