CRMar 24, 2016
Certifying Spoofing-Protection of FirewallsCornelius Diekmann, Lukas Schwaighofer, Georg Carle
We present an algorithm to certify IP spoofing protection of firewall rulesets. The algorithm is machine-verifiably proven sound and its use is demonstrated in real-world scenarios.