Quantitative Modeling Of Domain Name System Protocol