![](/img/cover-not-exists.png)
[IEEE 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE) - San Jose, CA, USA (2010.11.3-2010.11.4)] 2010 IEEE 12th International Symposium on High Assurance Systems Engineering - Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking
Alexiou, Nikolaos, Basagiannis, Stylianos, Katsaros, Panagiotis, Dashpande, Tushar, Smolka, Scott A.Year:
2010
Language:
english
DOI:
10.1109/HASE.2010.25
File:
PDF, 528 KB
english, 2010