Login / Signup
Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking.
Tushar Deshpande
Panagiotis Katsaros
Scott A. Smolka
Scott D. Stoller
Published in:
EDCC (2014)
Keyphrases
</>
model checking
temporal logic
finite state
symbolic model checking
verification method
reachability analysis
bayesian networks
finite state machines
abstract interpretation
search algorithm
multi agent systems
formal verification
model checker
asynchronous circuits
transition systems
bounded model checking