Embed Size (px)
Citation preview
7/30/2019 A Formal-Specification Based Approach for Protecting the Domain Name System_Cheung_LevittDNS
http://slidepdf.com/reader/full/a-formal-specification-based-approach-for-protecting-the-domain-name-systemcheunglevittdns 1/11
0-7695-0707-7/00 $10.00 ã 2000 IEEE
7/30/2019 A Formal-Specification Based Approach for Protecting the Domain Name System_Cheung_LevittDNS
http://slidepdf.com/reader/full/a-formal-specification-based-approach-for-protecting-the-domain-name-systemcheunglevittdns 2/11
2.1. What is DNS?
edu com mil
ucdavis in-addr
gov arpa
cs
Figure 1. Hierarchical Structure of DNS Name
Space
2.2. How does DNS Work?
0-7695-0707-7/00 $10.00 ã 2000 IEEE
7/30/2019 A Formal-Specification Based Approach for Protecting the Domain Name System_Cheung_LevittDNS
http://slidepdf.com/reader/full/a-formal-specification-based-approach-for-protecting-the-domain-name-systemcheunglevittdns 3/11
edu
cscs
ucdavis foo
root
4
3
2
1
Figure 2. Iterative Name Resolution
2.3. DNS Message Format
0-7695-0707-7/00 $10.00 ã 2000 IEEE
7/30/2019 A Formal-Specification Based Approach for Protecting the Domain Name System_Cheung_LevittDNS
http://slidepdf.com/reader/full/a-formal-specification-based-approach-for-protecting-the-domain-name-systemcheunglevittdns 4/11
4.1. DNS Data
0-7695-0707-7/00 $10.00 ã 2000 IEEE
7/30/2019 A Formal-Specification Based Approach for Protecting the Domain Name System_Cheung_LevittDNS
http://slidepdf.com/reader/full/a-formal-specification-based-approach-for-protecting-the-domain-name-systemcheunglevittdns 5/11
4.2. View
4.3. Authority
4.4. Assumptions
0-7695-0707-7/00 $10.00 ã 2000 IEEE
7/30/2019 A Formal-Specification Based Approach for Protecting the Domain Name System_Cheung_LevittDNS
http://slidepdf.com/reader/full/a-formal-specification-based-approach-for-protecting-the-domain-name-systemcheunglevittdns 6/11
4.5. Our Goal
0-7695-0707-7/00 $10.00 ã 2000 IEEE
7/30/2019 A Formal-Specification Based Approach for Protecting the Domain Name System_Cheung_LevittDNS
http://slidepdf.com/reader/full/a-formal-specification-based-approach-for-protecting-the-domain-name-systemcheunglevittdns 7/11
6.1. Overview
6.2. General Experimental Setup
0-7695-0707-7/00 $10.00 ã 2000 IEEE
7/30/2019 A Formal-Specification Based Approach for Protecting the Domain Name System_Cheung_LevittDNS
http://slidepdf.com/reader/full/a-formal-specification-based-approach-for-protecting-the-domain-name-systemcheunglevittdns 8/11
6.3. Experiment A
6.4. Experiment B
0-7695-0707-7/00 $10.00 ã 2000 IEEE
7/30/2019 A Formal-Specification Based Approach for Protecting the Domain Name System_Cheung_LevittDNS
http://slidepdf.com/reader/full/a-formal-specification-based-approach-for-protecting-the-domain-name-systemcheunglevittdns 9/11
Table 1. Cumulative Response Time (in Sec.) for the “Two-day trace” Data Set.
Table 2. System and User Times Used (in Sec.) for the “Two-day Trace” Data Set.
0-7695-0707-7/00 $10.00 ã 2000 IEEE
7/30/2019 A Formal-Specification Based Approach for Protecting the Domain Name System_Cheung_LevittDNS
http://slidepdf.com/reader/full/a-formal-specification-based-approach-for-protecting-the-domain-name-systemcheunglevittdns 10/11
0-7695-0707-7/00 $10.00 ã 2000 IEEE
7/30/2019 A Formal-Specification Based Approach for Protecting the Domain Name System_Cheung_LevittDNS
http://slidepdf.com/reader/full/a-formal-specification-based-approach-for-protecting-the-domain-name-systemcheunglevittdns 11/11
0 7695 0707 7/00 $10 00 ã 2000 IEEE
