http://7fa6xlti5joarlmkuhjaifa47ukgcwz6tfndgax45ocyn4rixm632jid.onion/anonbib/index.html
In the Proceedings of the 10th ACM Conference on Computer and Communications Security (CCS 2003), October 2003, pages 122-130. ( BibTeX entry ) · 2004 Probabilistic Model Checking of an Anonymity System ( PS ) (Cached: PS , gzipped PS ) by Vitaly Shmatikov . In Journal of Computer Security 12 (3-4), 2004, pages 355-377. ( BibTeX entry ) · Uses formal methods to analyze probabilistic anonymity systems like Crowds . Confirms that anonymity degrades with a larger crowd: as N grows, the...