Loading...
Please wait, while we are loading the content...
Similar Documents
Model checking the DNS under DNS cache-poisoning attacks using SPIN
| Content Provider | Semantic Scholar |
|---|---|
| Author | Zhang, Wei Yang, Meihong Zhang, Xinchang Shi, Huiling |
| Copyright Year | 2016 |
| Abstract | Domain name system (DNS) security has garnered substantial interest due to DNS cache-poisoning attacks. In this article, a model checking method is employed to verify the security of the DNS protocol, especially when it is under DNS cache-poisoning attacks. The DNS protocol is first translated into a simpler model that preserves all the attack behaviour to be verified. Extended finite state machine models are given and represented in PROMELA which can be identified by SPIN; and then the whole process of model checking is proposed. The initial results on verification of the DNS under DNS cache-poisoning attacks using SPIN are also proposed. From the experimental results it can be seen that the security of DNS should be carefully considered. |
| Starting Page | 49 |
| Ending Page | 49 |
| Page Count | 1 |
| File Format | PDF HTM / HTML |
| DOI | 10.2306/scienceasia1513-1874.2016.42S.049 |
| Alternate Webpage(s) | http://www.scienceasia.org/2016.42S.n1/scias42S_49.pdf |
| Alternate Webpage(s) | https://doi.org/10.2306/scienceasia1513-1874.2016.42S.049 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
