@InProceedings{DKBS11,
author={Tushar Deshpande and Panagiotis Katsaros and Stylianos Basagiannis and Scott Smolka},
title={Formal Analysis of the {DNS} Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking},
booktitle={Proc. 13th IEEE International Symposium on High-Assurance Systems Engineering (HASE'11)},
year={2011},

editor={},
pages={360--367},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}