The Dolev–Yao model is a formal framework used in the field of computer science, particularly in the area of cryptography and network security. It was introduced by Danny Dolev and Andrew Yao in the early 1980s and serves as a theoretical model for analyzing security protocols.
New to topics? Read the docs here!