The original Logic of Authentication paper (linked below) contains this example and many others, including analyses of the Kerberos handshake protocol, and two versions of the Andrew Project RPC handshake (one of which is defective).
Andrew Jackson | Andrew Lloyd Webber | Manhattan Project | Andrew Carnegie | Andrew Johnson | Hurricane Andrew | Project Runway | Project Mercury | Andrew Wyeth | Prince Andrew, Duke of York | Andrew Marvell | Andrew Sullivan | Andrew | Human Genome Project | Andrew W. Mellon Foundation | The Blair Witch Project | Project Gemini | Andrew Lang | Project Greenlight | Andrew Loog Oldham | Andrew Davies | Andrew Cuomo | Saint Andrew | Andrew Rosindell | Andrew Motion | Project Nike | Andrew Weil | Andrew Stevens | Andrew Hill | Project Blue Book |