The Dolev-Yaho Intruder is the Most Powerful Attacker