A Formal-Specification Based Approach for Protecting the Domain Name System.

Steven Cheung, Karl N. Levitt

Browse the full DSN paper archive.