Danny Dolev
Andrew Yao ile birlikte geliştirdiği saldırgan modeli bugün hâlâ protokol analizinde varsayılan düşman olan, İbrani Üniversitesi'nden İsrailli bilgisayar bilimci.
On the Security of Public Key Protocols (1983) makalesinde Dolev ve Andrew Yao saldırgana bütün ağı verdi: istediği mesajı okuyabilir, engelleyebilir, değiştirebilir ve araya sokabilir; yalnızca kriptografinin kendisini kıramaz. Amaç, bir protokolün mantığını algoritmalarının gücünden ayırmaktı. Tek bir anahtar tahmin edilmeden, yalnızca bu aşamada çöken pek çok protokol çıktı.
Aynı yıl Ray Strong ile birlikte, mesajlar imzalı olduğu sürece kaç hain olursa olsun dayanan, kimliği doğrulanmış Bizans anlaşması için Dolev–Strong protokolünü yayımladı. Dolev–Yao modeli bugün TLS gibi protokollerin biçimsel doğrulamasında kullanılan otomatik araçların temelini oluşturur.