Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking.
Tushar DeshpandePanagiotis KatsarosStylianos BasagiannisScott A. SmolkaPublished in: HASE (2011)
Keyphrases
- countermeasures
- formal analysis
- model checking
- formal methods
- temporal logic
- model checker
- information security
- formal specification
- temporal properties
- automated verification
- power analysis
- formal verification
- verification method
- cyber attacks
- symbolic model checking
- bounded model checking
- epistemic logic
- security measures
- computation tree logic
- agent model
- knowledge based systems
- transition systems
- expert systems
- timed automata
- information systems
- smart card
- multi agent systems
- case study