Probabilistic analysis of onion routing in a black-box model

WPES'07 - Proceedings of the 2007 ACM Workshop on Privacy in Electronic Society

Volumn , Issue , 2007, Pages 1-10

  Feigenbaum, Joan ^a   Johnson, Aaron ^a   Syverson, Paul ^b  

^a YALE UNIVERSITY   (United States)

^b NAVAL RESEARCH LABORATORY   (United States)

Author keywords

anonmity; onion routing; tor

Indexed keywords

ACTIVE ADVERSARY; ANONMITY; ANONYMOUS COMMUNICATION; BLACK-BOX MODEL; ONION ROUTING; PRIORI DISTRIBUTION; PROBABILISTIC ANALYSIS; PROBABILISTIC BEHAVIOR; TOR;

COMPUTER PRIVACY;

NETWORK SECURITY;

EID: 50249115176     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1314333.1314335     Document Type: Conference Paper

References (30)

1. P. Boucher, A. Shostack, and I. Goldberg. Freedom systems 2.0 architecture. White paper, Zero Knowledge Systems, Inc., 2000.
2. J. Camenisch and A. Lysyanskaya. A formal treatment of onion routing. In Proceedings of CRYPTO 2005, pages 169-187, 2005.
3. G. Danezis. Statistical disclosure attacks: Traffic confirmation in open environments. In Proceedings of Security and Privacy in the Age of Uncertainty (SEC 2003), pages 421-426, 2003.
4. G. Danezis and A. Serjantov. Statistical disclosure or intersection attacks on anonymity systems. In Proceedings of 6th Information Hiding Workshop (IH 2004), pages 293-308, 2004.
5. C. Díaz, S. Seys, J. Claessens, and B. Preneel. Towards measuring anonymity. In Proceedings of the 2nd Privacy Enhancing Technologies Workshop (PET 2002), pages 54-68, 2002.
6. R. Dingledine, N. Mathewson, and P. Syverson. Tor: The second-generation onion router. In Proceedings of the 13th USENIX Security Symposium, pages 303-320, 2004.
7. J. Feigenbaum, A. Johnson, and P. Syverson. A model of onion routing with provable anonymity. In Proceedings of the 11th Financial Cryptography and Data Security Conference (FC 2007), 2007.
8. M. J. Freedman and R. Morris. Tarzan: A peer-to-peer anonymizing network layer. In Proceedings of the 9th ACM Conference on Computer and Communications Security (CCS 2002), pages 193-206, 2002.
9. D. M. Goldschlag, M. G. Reed, and P. F. Syverson. Hiding Routing Information. In Proceedings of the 1st Information Hiding Workshop (IH 1996), pages 137-150, 1996.
10. J. Y. Halpern and K. R. O'Neill. Anonymity and information hiding in multiagent systems. Journal of Computer Security, 13(3):483-514, 2005. (Pubitemid 41230695)
11. D. Hughes and V. Shmatikov. Information hiding, anonymity and privacy: A modular approach. Journal of Computer Security, 12(1):3-36, 2004.
12. D. Kesdogan, D. Agrawal, and S. Penz. Limits of anonymity in open environments. In Proceedings of the 5th Information Hiding Workshop (IH 2002), pages 53-69, 2002.
13. D. Kesdogan, J. Egner, and R. Büschkes. Stop-and-go MIXes: Providing probabilistic anonymity in an open system. In Proceedings of the 2nd Information Hiding Workshop (IH 1998), pages 83-98, 1998.
14. P. Lincoln, P. Porras, and V. Shmatikov. Privacy-preserving sharing and correlation of security alerts. In Proceedings of the 13th USENIX Security Symposium, pages 239-254, 2004.
15. N. Mathewson and R. Dingledine. Practical traffic analysis: Extending and resisting statistical disclosure. In Proceedings of the 4th Privacy Enhancing Technologies workshop (PET 2004), pages 17-34, 2004.
16. S. Mauw, J. Verschuren, and E. de Vink. A formalization of anonymity and onion routing. In Proceedings of the 9th European Symposium on Research in Computer Security (ESORICS 2004), pages 109-124, 2004.
17. Number of running tor routers. http://www.noreply.org/tor-running- routers/, May 2007.
18. L. Øverlier and P. Syverson. Locating hidden servers. In Proceedings of the 17th IEEE Symposium on Security and Privacy (S&P 2006), pages 100-114, 2006.
19. A. Pfitzmann and M. Hansen. Anonymity, unobservability, and pseudonymity: A consolidated proposal for terminology. Draft, July 2000.
20. M. Reed, P. Syverson, and D. Goldschlag. Anonymous connections and onion routing. IEEE Journal on Selected Areas in Communications, 16(4):482-494, 1998.
21. M. Reiter and A. Rubin. Crowds: Anonymity for web transactions. ACM Transactions on Information and System Security, 1(1):66-92, 1998.
22. S. Schneider and A. Sidiropoulos. CSP and anonymity. In Proceedings of the 1st European Symposium on Research in Computer Security (ESORICS 1996), pages 198-218, 1996.
23. A. Serjantov and G. Danezis. Towards an information theoretic metric for anonymity. In Proceedings of the 2nd Privacy Enhancing Technologies Workshop (PET 2002), pages 41-53, 2002.
24. V. Shmatikov. Probabilistic model checking of an anonymity system. Journal of Computer Security, 12(3-4):355-377, 2004.
25. V. Shmatikov and M.-H. Wang. Measuring relationship anonymity in mix networks. In Proceedings of the 5th ACM Workshop on Privacy in the Electronic Society (WPES 2006), pages 59-62, 2006.
26. P. Syverson, M. Reed, and D. Goldschlag. Onion routing access configurations. In Proceedings of the DARPA Information Survivability Conference and Exposition (DISCEX 2000), pages 34-40, 2000.
27. P. Syverson, G. Tsudik, M. Reed, and C. Landwehr. Towards an Analysis of Onion Routing Security. In Designing Privacy Enhancing Technologies: Workshop on Design Issues in Anonymity and Unobservability, pages 96-114, 2000.
28. P. F. Syverson and S. G. Stubblebine. Group principals and the formalization of anonymity. In Proceedings of the 1st World Congress on Formal Methods (FM'99), Vol. I, pages 814-833, 1999.
29. G. Tóth, Z. Hornák, and F. Vajda. Measuring anonymity revisited. In Proceedings of the 9th Nordic Workshop on Secure IT Systems, pages 85-90, 2004.
30. M. K. Wright, M. Adler, B. N. Levine, and C. Shields. The predecessor attack: An analysis of a threat to anonymous communications systems. ACM Transactions on Information and Systems Security, 7(4):489-522, 2004. (Pubitemid 40302696)