Architecture-Based Self-Protection: Composing and Reasoning about Denial-of-Service Mitigations Download Tags: Denial-of-Service Probabilistic Model Checking Self-Adaptation HotSoS 2014 Academia Presentations Presentation Slides License: CC-2.5 Submitted by David Garlan on Tue, 06/03/2014 - 16:35