Gerrit Rothmaier, Heiko Krumm. Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP. In Hannes Federrath, editor, Sicherheit 2005: Sicherheit - Schutz und Zuverlässigkeit, Beiträge der 2. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.v. (GI), 5.-8. April 2005 in Regensburg. Volume 62 of LNI, pages 77-88, GI, 2005.
Abstract is missing.