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]
Abstract is missing.