@InProceedings{ABK+10,
author={N. Alexiou and S. Basagiannis and P. Katsaros and T. Dashpande and S. Smolka},
title={Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking},
booktitle={Proc. IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE'10)},
year={2010},

editor={},
pages={94-103},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}