The Community for Technology Leaders
2015 11th International Conference on Network and Service Management (CNSM) (2015)
Barcelona, Spain
Nov. 9, 2015 to Nov. 13, 2015
ISBN: 978-3-9018-8278-4
pp: 168-172
Cornelius Diekmann , Technische Universität München
Lukas Schwaighofen , Technische Universität München
Georg Carle , Technische Universität München
ABSTRACT
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.
INDEX TERMS
IP networks, Semantics, Firewalls (computing), Data structures, Boolean functions, Linux, Kernel
CITATION

C. Diekmann, L. Schwaighofen and G. Carle, "Certifying spoofing-protection of firewalls," 2015 11th International Conference on Network and Service Management (CNSM), Barcelona, Spain, 2015, pp. 168-172.
doi:10.1109/CNSM.2015.7367354
162 ms
(Ver 3.3 (11022016))