Yahalom: authentication of responder

Server

Initiatora

Responderb