![](/img/cover-not-exists.png)
[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking
Deshpande, Tushar, Katsaros, Panagiotis, Basagiannis, Stylianos, Smolka, Scott A.Year:
2011
Language:
english
DOI:
10.1109/hase.2011.57
File:
PDF, 219 KB
english, 2011