Security and Survivability : Analyzing, Modeling, and Verifying Dynamic Recovery in Insecure Systems

To dramatise the expressive power of their framework, the authors demonstrate how it can be applied to denial of service attacks. They also attempt to prove whether strategies such as selective filtering, strong authentication and client puzzles actually do reduce the vulnerability of a network to DoS attacks.