加载中…
2016-03-24
Certifying Spoofing-Protection of Firewalls
Cornelius DiekmannLukas SchwaighoferGeorg 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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本