Probabilistic analysis of an anonymity system
- 1 May 2004
- journal article
- Published by SAGE Publications in Journal of Computer Security
- Vol. 12 (3-4) , 355-377
- https://doi.org/10.3233/jcs-2004-123-403
Abstract
Supported in part by DARPA contract N66001-00-C-8015 “Agile Management of Dynamic Collaboration”. We use the probabilistic model checker PRISM to analyze the Crowds system for anonymous Web browsing. This case study demonstrates how probabilistic modKeywords
This publication has 0 references indexed in Scilit: