Provably Secure DNS: A Case Study in Formal Methods

Abstract

We describe the use of formal methods in the development of IRONSIDES, an implementation of DNS with superior performance to both BIND and Windows, the two most common DNS servers on the internet. More importantly, unlike BIND and Windows, IRONSIDES is impervious to all bad-packet denial of service attacks and all forms of remote code execution.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 27, 2012
Accession Number
AD1030926

Entities

People

  • Barry Fagin
  • Martin Carlisle

Organizations

  • United States Air Force Academy

Tags

DTIC Thesaurus Topics

  • Case Studies
  • Computer Networks
  • Computing Devices
  • Denial Of Service Attack
  • Internet

Fields of Study

  • Computer science

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Computer Networking