| 2005 |
|---|
| 4 | EE | Gerrit Rothmaier,
Heiko Krumm:
A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks.
FORTE 2005: 247-260 |
| 3 | EE | Gerrit Rothmaier,
Tobias Kneiphoff,
Heiko Krumm:
Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.
SPIN 2005: 236-250 |
| 2 | | Gerrit Rothmaier,
Heiko Krumm:
Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP.
Sicherheit 2005: 77-88 |
| 2004 |
|---|
| 1 | | Gerrit Rothmaier,
Andre Pohl,
Heiko Krumm:
Analyzing Network Management Effects with SPIN and cTLA.
SEC 2004: 65-82 |
