Steven Cheung Karl N. Levitt A Formal-Specification Based Approach for Protecting the Domain Name System. 641-651 2000 conf/dsn/2000 DSN http://doi.ieeecomputersociety.org/10.1109/ICDSN.2000.857602 db/conf/dsn/dsn2000.html#CheungL00