Dolev-Yao model
= Dolev-Yao model
{c}
{wiki=Dolev–Yao_model}
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.