Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking.

Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller

Browse the full EDCC paper archive.