Danny Dolev
Israëlische informaticus aan de Hebreeuwse Universiteit wiens aanvallersmodel, samen met Andrew Yao, nog steeds de standaardtegenstander is bij protocolanalyse.
In On the Security of Public Key Protocols (1983) gaven Dolev en Andrew Yao de aanvaller het hele netwerk in handen: die kan elk bericht lezen, blokkeren, wijzigen en injecteren, maar de cryptografie zelf niet breken. Het doel was de logica van een protocol los te koppelen van de sterkte van de algoritmen. Veel protocollen blijken al in die fase te falen, zonder dat er één sleutel geraden hoeft te worden.
Datzelfde jaar publiceerde hij met Ray Strong het Dolev–Strong-protocol voor geauthenticeerde byzantijnse overeenstemming, dat willekeurig veel verraders tolereert zolang berichten ondertekend zijn. Het Dolev–Yao-model vormt nu de basis van de geautomatiseerde hulpmiddelen voor formele verificatie van protocollen als TLS.