|
[DKBS11]
Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis and Scott Smolka.
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking.
In Proc. 13th IEEE International Symposium on High-Assurance Systems Engineering (HASE'11), pages 360-367.
2011.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|