Dolev-Yao model
Redirect to:
Dolev–Yao model