O protocolo que é responsável por traduzir nomes de domínio (como www.google.com) em endereços IP é o: