Yahalom: authentication of initiator