Example: The Yahalom Protocol