scholarly journals Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking

Author(s):  
Nikolaos Alexiou ◽  
Stylianos Basagiannis ◽  
Panagiotis Katsaros ◽  
Tushar Dashpande ◽  
Scott A. Smolka
2018 ◽  
Vol 89 ◽  
pp. 144-159 ◽  
Author(s):  
Sotirios Gyftopoulos ◽  
Pavlos S. Efraimidis ◽  
Panagiotis Katsaros

Author(s):  
Christel Baier ◽  
Clemens Dubslaff ◽  
Sascha Klüppelholz ◽  
Marcus Daum ◽  
Joachim Klein ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document