Making DNS Servers Resistant to Cyber Attacks: An Empirical Study on Formal Methods and Performance.
Barry S. FaginBradley KlandermanMartin C. CarlislePublished in: COMPSAC (2) (2017)
Keyphrases
- formal methods
- cyber attacks
- cyber security
- model checking
- knowledge based systems
- software engineering
- artificial intelligence
- critical infrastructure
- formal specification
- countermeasures
- dos attacks
- security policies
- computer systems
- databases
- privacy issues
- data mining
- machine learning
- network structure
- database
- intrusion detection
- knowledge acquisition
- control system