Talk:Dolev–Yao model

What is dolev yao model? Someone help!!! Can't find the answer anywhere — Preceding unsigned comment added by 117.216.16.82 (talk) 17:49, 6 May 2020 (UTC)