*Result*: Making DNS Servers Resistant to Cyber Attacks: An Empirical Study on Formal Methods and Performance

Title:
Making DNS Servers Resistant to Cyber Attacks: An Empirical Study on Formal Methods and Performance
Authors:
Fagin, Barry S., Klanderman, Bradley, Carlisle, Martin C.
Source:
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC) COMPSAC Computer Software and Applications Conference (COMPSAC), 2017 IEEE 41st Annual. 2:566-571 Jul, 2017
Relation:
2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC)
Database:
IEEE Xplore Digital Library