www.prismmodelchecker.org
[ASW00] N. Asokan, V. Shoup and M. Waidner. Optimistic fair exchange of digital signatures. IEEE Selected Areas in Communications, 18(4), pages 593-610. 2000. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications