Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking

• Published in: 2014 Tenth European Dependable Computing Conference pp. 226 - 237
• Main Authors: Deshpande, Tushar, Katsaros, Panagiotis, Smolka, Scott A., Stoller, Scott D.
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.05.2014
• Subjects: Bandwidth; Bandwidth Amplification Attack (BAA); Computer crime; Domain Name System (DNS); Games; IP networks; Probabilistic logic; probabilistic model checking; Servers; stochastic games; Stochastic processes

The Domain Name System (DNS) is an Internet-wide, hierarchical naming system used to translate domain names into numeric IP addresses. Any disruption of DNS service can have serious consequences. We present a formal game-theoretic analysis of a notable threat to DNS, namely the bandwidth amplificati...