Work

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

Year: 2010

Type: conference-paper

Source: IEEE International Symposium on High Assurance Systems Engineering (HASE)

DOI: 10.1109/hase.2010.25

Authors: Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Dashpande, Scott A. Smolka

Institutions: Aristotle University of Thessaloniki, Stony Brook University

Language: English

Topic: Network Security and Intrusion Detection

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Science Foundation, Stony Brook University, Air Force Office of Scientific Research

OpenAlex ID: W1996201018

FWCI: 2.597

Cites: 9

Cited by: 35

Related to: 10