Gerrit Rothmaier Heiko Krumm Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP. 77-88 2005 conf/sicherheit/2005 Sicherheit db/conf/sicherheit/sicherheit2005.html#RothmaierK05