The Dolev-Yao Intruder is the Most Powerful Attacker
Using encryption for authentication in large networks of computers