Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka. Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking. In Taghi M. Khoshgoftaar, editor, 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011. pages 360-367, IEEE Computer Society, 2011. [doi]
Abstract is missing.