Dolev-Yao threat model

Redirect to:

• Dolev–Yao model