Yahalom: authentication of initiator

Server

Initiatora

Responderb