Certifying spoofing-protection of firewalls | IEEE Conference Publication | IEEE Xplore