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

Steven Cheung, Karl N. Levitt. A Formal-Specification Based Approach for Protecting the Domain Name System. In 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA. pages 641, IEEE Computer Society, 2000. [doi]

Authors

Steven Cheung

This author has not been identified. Look up 'Steven Cheung' in Google

Karl N. Levitt

This author has not been identified. Look up 'Karl N. Levitt' in Google