www.prismmodelchecker.org
[DY83] D. Dolev and A. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, 29(2), pages 198-208. 1983. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications