www.prismmodelchecker.org
Home • About • Downloads • Documentation • Manual • Tutorial • Lectures • Publications • Case Studies • Support
[Shm04] V. Shmatikov. Probabilistic Model Checking of an Anonymity System. Journal of Computer Security, 12(3/4), pages 355-377. 2004. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar] [CiteSeer]
Available from: http://www.cs.utexas.edu/~shmat/index.html

Publications