Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking
Nikolaos Alexiou
◽
Stylianos Basagiannis
◽
Panagiotis Katsaros
◽
Tushar Dashpande
◽
Scott A. Smolka
Tushar Deshpande
◽
Panagiotis Katsaros
◽
Stylianos Basagiannis
◽
Scott A. Smolka
Paolo Ballarini
◽
Andras Horvath
Marwan Ammar
◽
Khaza Anuarul Hoque
◽
Otmane Ait Mohamed
Conghua Zhou
◽
Yong Wang
◽
Meiling Cao
◽
Jianqi Shi
◽
Yang Liu
2018 ◽
Vol 89
◽
pp. 144-159
◽
Sotirios Gyftopoulos
◽
Pavlos S. Efraimidis
◽
Panagiotis Katsaros
Marwan Ammar
◽
Ghaith Bany Hamad
◽
Otmane Ait Mohamed
◽
Yvon Savaria
◽
Raoul Velazco
2008 ◽
Vol 27
(2)
◽
pp. 403-407
◽
Aleksandra Sesic
◽
Stanisa Dautovic
◽
Veljko Malbasa
Michele Ceccarelli
◽
Luigi Cerulo
◽
Giuseppe De Ruvo
◽
Vittoria Nardone
◽
Antonella Santone
Clemens Dubslaff
◽
Patrick Koopmann
◽
Anni-Yasmin Turhan
Christel Baier
◽
Clemens Dubslaff
◽
Sascha Klüppelholz
◽
Marcus Daum
◽
Joachim Klein
◽
...