English Dolev–Yao model Cited by user Citation bot on 24 Jan 2022 The Dolev–Yao model, named after its authors Danny Dolev and Andrew Yao, is a formal model used to prove properties of interactive cryptographic protocols.