www.prismmodelchecker.org
[Ste06] G. Steel. Formal Analysis of PIN Block Attacks. Theoretical Computer Science, 367(1-2), pages 257-270, Elsevier. 2006. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications