A symbolic adversarial model of Danny Dolev and Andrew Yao granting control of the network while treating cryptographic operations as ideal constructors and destructors. An adversary may split unprotected tuples, replay messages and encrypt with known public keys, but cannot decrypt without the required key. Separate encrypted components are not automatically bound to adjacent clear fields.
Articles by others on the same topic
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.