Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking.
| Autor: | Alexiou, N., Basagiannis, S., Katsaros, P., Dashpande, T., Smolka, S.A. |
|---|---|
| Zdroj: | 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE); 2010, p94-103, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|