A model of onion routing with provable anonymity

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4886 LNCS, Issue , 2007, Pages 57-71

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

^a YALE UNIVERSITY   (United States)

^b NAVAL RESEARCH LABORATORY   (United States)

Author keywords

Anonymity; Onion routing; Privacy; Security

Indexed keywords

AUTOMATA THEORY; MATHEMATICAL MODELS; SECURITY OF DATA;

ONION ROUTING; ONION ROUTING PROTOCOL; RIGOROUS ANALYSIS;

ROUTING PROTOCOLS;

EID: 38549171987     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77366-5_9     Document Type: Conference Paper

References (13)

1. Anonymity bibliography, http://freehaven.net/anonbib/
2. Boucher, P., Shostack, A., Goldberg, I.: Freedom systems 2.0 architecture. White paper, Zero Knowledge Systems, Inc. (2000)
3. Camenisch, J., Lysyanskaya, A.: A formal treatment of onion routing. In: Shoup, V. (ed.) CRYPTO 2005. LNCS, vol. 3621, pp. 169-187. Springer, Heidelberg (2005)
4. Chaum, D.: Security without identification: Transaction systems to make big brother obsolete. CACM 28(10) (October 1985)
5. Diaz, C., Seys, S., Claessens, J., Preneel, B.: Towards measuring anonymity. In: Privacy Enhancing Technologies (2002)
6. Dingledine, R., Mathewson, N., Syverson, P.: Tor: The second-generation onion router. In: 13th USENIX Security Symposium (2004)
7. Goldberg, I.: On the security of the Tor authentication protocol. In: Danezis, G., Golle, P. (eds.) PET 2006. LNCS, vol. 4258, pp. 316-331. Springer, Heidelberg (2006)
8. Goldschlag, D., Reed, M., Syverson, P.: Hiding routing information. In: Anderson, R. (ed.) Information Hiding. LNCS, vol. 1174, pp. 137-150. Springer, Heidelberg (1996)
9. Lynch, N.: Distributed Algorithms, 1st edn. Morgan Kaufmann, San Francisco (1996)
10. Mauw, S., Verschuren, J., de Vink, E.: A formalization of anonymity and onion routing. In: European Symposium on Research in Computer Security (2004)
11. Øverlier, L., Syverson, P.: Locating hidden servers. In: IEEE Symposium on Security and Privacy (2006)
12. Serjantov, A., Danezis, G.: Towards an information theoretic metric for anonymity. In: Dingledine, R., Syverson, P.F. (eds.) PET 2002. LNCS, vol. 2482, pp. 41-53. Springer, Heidelberg (2003)
13. Syverson, P., Tsudik, G., Reed, M., Landwehr, C.: Towards an analysis of onion routing security. In: Federrath, H. (ed.) Designing Privacy Enhancing Technologies. LNCS, vol. 2009, pp. 96-114. Springer, Heidelberg (2001)