Danny Dolev
ヘブライ大学のイスラエル人計算機科学者。Andrew Yaoと作った攻撃者モデルは、今もプロトコル解析の標準的な敵対者像である。
1983年の論文『On the Security of Public Key Protocols』で、DolevとAndrew Yaoは攻撃者にネットワーク全体を与えた。攻撃者は好きなメッセージを読み、遮り、改ざんし、注入できるが、暗号そのものは破れない。プロトコルの論理と、アルゴリズムの強度を切り分けるための設定だ。鍵を一つも推測しなくても、この段階だけで破綻するプロトコルは少なくない。
同じ年にRay Strongと共に、署名付きメッセージを前提に何人の裏切り者がいても耐えられる認証付きビザンチン合意のDolev–Strongプロトコルも発表した。Dolev–Yaoモデルは、TLSなどのプロトコルの形式検証に使われる自動化ツールの土台になっている。