|
[ABK+10]
N. Alexiou, S. Basagiannis, P. Katsaros, T. Dashpande and S. Smolka.
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking.
In Proc. IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE'10), pages 94-103.
2010.
[bib]
http://www.cs.sunysb.edu/~sas/kaminsky/
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.cs.sunysb.edu/~sas/kaminsky/
|