A Proof of Revised Yahalom Protocol in the Bellare and Rogaway (1993) Model