Gerrit Rothmaier

According to our database, Gerrit Rothmaier authored at least 5 papers between 2004 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

Integrated formal modeling and automated analysis of computer network attacks.

Gerrit Rothmaier

PhD thesis, 2007

2005

Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models.

Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm

Proceedings of the Model Checking Software, 2005

Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP.

Gerrit Rothmaier, Heiko Krumm

Proceedings of the Sicherheit 2005: Sicherheit, 2005

A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks.

Gerrit Rothmaier, Heiko Krumm

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Analyzing Network Management Effects with SPIN and cTLA.

Gerrit Rothmaier, Andre Pohl, Heiko Krumm

Proceedings of the Security and Protection in Information Processing Systems, 2004