Какой протокол используется для осуществления разрешения доменных имён в сети?