Variable Forgetting in Reasoning about Knowledge
The Dolev-Yao Intruder is the Most Powerful Attacker