Yahalom: authentication of responder