Gerrit Rothmaier

Publication Activity (10 Years)

Years Active: 2004-2005
Publications (10 Years): 0

Dortmund University of Technology (PHD)

Education History

Dortmund University of Technology

PHD

Publications

Gerrit Rothmaier, Heiko Krumm
Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP. Sicherheit (2005)
Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm
Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models. SPIN (2005)
Gerrit Rothmaier, Heiko Krumm
A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. FORTE (2005)
Gerrit Rothmaier, Andre Pohl, Heiko Krumm
Analyzing Network Management Effects with SPIN and cTLA. SEC (2004)