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

Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller. Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. In 2014 Tenth European Dependable Computing Conference, Newcastle, United Kingdom, May 13-16, 2014. pages 226-237, IEEE, 2014. [doi]

Abstract

Abstract is missing.