Barra.

Signo ortográfico auxiliar, del que existen diversos tipos:

2. Barra doble (//).

Se usa en los casos siguientes:

c) En informática, separa la sigla del protocolo de comunicación (normalmente http, del inglés hyper text transport protocol) de la dirección electrónica: http://www.rae.es.

DPD 1.ª edición, 2.ª tirada