Asumiendo la existencia de una función unidirecional H, el protocolo es el siguiente: