www.prismmodelchecker.org
[DPP05] Y. Deng, C. Palamidessi and J. Pang. Weak Probabilistic Anonymity. In Proc. 3rd International Workshop on Security Issues in Concurrency (SecCo'05). August 2005. [bib] http://www.lix.polytechnique.fr/~catuscia/papers/Anonymity/report_wa.pdf
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications