Domain Names Based on Fault Tree Analysis

Article Preview

Abstract:

The success rate of domain name resolution has a direct influence on the service of DNS. Analytical performance of DNS server is the key to measure the satisfaction degree of users when they access to the network. This article establishes the dependence model for the domain name server. In order to get DNS fault model and analytical model, this article uses Fault Tree Analysis theory to describe the relationship of tree basic events and target events of fault tree of dependency. On the basis of fault tree model, dependencies of domain names are qualitative analyzed, including number of sets and element composition of fault model and analytical model. This study provided a theoretical basis for DNS dependencies and technical support for the DNS vulnerability analysis. It has a great importance for domain name system security.

You might also be interested in these eBooks

Info:

Periodical:

Pages:

143-148

Citation:

Online since:

October 2014

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2014 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

* - Corresponding Author

[1] Yuejin Du, Zhaoxin Zhang, Ke Wang, etal. Quantitative evaluation model of DNS resolvability based on propositional logic[J]. High Technology letters, 2013(2): 116-122.

Google Scholar

[2] Sethi A S. A survey of fault localization techniques in computer networks[J]. Science of computer programming, 2004, 53(2): 165-194.

DOI: 10.1016/j.scico.2004.01.010

Google Scholar

[3] Ramasubramanian V, Sirer E G. Perils of transitive trust in the domain name system[C]/ Proceedings of the 5th ACM SIGCOMM conference on Internet Measurement. USENIX Association, 2005: 35-35.

DOI: 10.1145/1330107.1330152

Google Scholar

[4] Liu C, Albitz P. DNS and Bind[M]. O'Reilly Media, Inc., (2006).

Google Scholar

[5] Schuler R. An algorithm for the satisfiability problem of formulas in conjunctive normal form [J]. Journal of Algorithms, 2005, 54(1): 40-44.

DOI: 10.1016/j.jalgor.2004.04.012

Google Scholar

[6] Davis M, Putnam H. A computing procedure for quantification theory[J]. Journal of the ACM (JACM), 1960, 7(3): 201-215.

Google Scholar