Certifying Spoofing-Protection of Firewalls
classification
💻 cs.CR
cs.NI
keywords
algorithmcertifycertifyingdemonstratedfirewallfirewallsmachine-verifiablyprotection
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.