Cornelius Diekmann, Lukas Schwaighofer, Georg Carle. Certifying spoofing-protection of firewalls. In Mauro Tortonesi, Jürgen Schönwälder, Edmundo Roberto Mauro Madeira, Corinna Schmitt, Joan Serrat, editors, 11th International Conference on Network and Service Management, CNSM 2015, Barcelona, Spain, November 9-13, 2015. pages 168-172, IEEE Computer Society, 2015. [doi]
Abstract is missing.