www.prismmodelchecker.org
[Shm04] V. Shmatikov. Probabilistic Model Checking of an Anonymity System. Journal of Computer Security, 12(3/4), pages 355-377. 2004. [bib] http://www.cs.utexas.edu/~shmat/index.html
Downloads:  bib bib
Links: [Google] [Google Scholar]
Available from: http://www.cs.utexas.edu/~shmat/index.html

Publications