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

Barry S. Fagin, Bradley Klanderman, Martin C. Carlisle

Browse the full COMPSAC paper archive.