On the Security of Public Key Protocols by Danny Dolev and Andrew Yao (source code)

= On the Security of Public Key Protocols by Danny Dolev and Andrew Yao
{c}
{tag=Work by Danny Dolev}
{tag=Work by Andrew Yao}
{title2=1981}

https://fpl.cs.depaul.edu/jriely/547/extras/DolevYao81SecurityPublic.pdf

Stanford report STAN-CS-81-854; distinct from 1983 journal publication.