Forschungsgruppe Network Security
(Prof. Dr. Heer)
Formal verifizierte Firewall-Optimierung
Forschungsprojekt
Abgeschlossen
(10.03.2023)
Modellierung von iptables-Regelsätzen und Beweis der Äquivalenz zwischen originalem und optimiertem Regelsatz
Bearbeitet von
- Samuel Müller