Stable Availability under Denial of Service Attacks through Formal Patterns

Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing. Stable Availability under Denial of Service Attacks through Formal Patterns. In Juan de Lara, Andrea Zisman, editors, Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Volume 7212 of Lecture Notes in Computer Science, pages 78-93, Springer, 2012. [doi]

Authors

Jonas Eckhardt

This author has not been identified. Look up 'Jonas Eckhardt' in Google

Tobias Mühlbauer

This author has not been identified. Look up 'Tobias Mühlbauer' in Google

Musab AlTurki

This author has not been identified. Look up 'Musab AlTurki' in Google

José Meseguer

This author has not been identified. It may be one of the following persons: Look up 'José Meseguer' in Google

Martin Wirsing

This author has not been identified. Look up 'Martin Wirsing' in Google