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]
@inproceedings{DeshpandeKBS11,
title = {Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking},
author = {Tushar Deshpande and Panagiotis Katsaros and Stylianos Basagiannis and Scott A. Smolka},
year = {2011},
doi = {10.1109/HASE.2011.57},
url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2011.57},
researchr = {https://researchr.org/publication/DeshpandeKBS11},
cites = {0},
citedby = {0},
pages = {360-367},
booktitle = {13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011},
editor = {Taghi M. Khoshgoftaar},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-0107-7},
}