Quantitative Modeling of Domain Name System Protocol