A formalization of anonymity and onion routing

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

Volumn 3193, Issue , 2004, Pages 109-124

  Mauw, S ^a   Verschuren, J H S ^a,b   De Vink, E P ^a,c  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b TNO   (Netherlands)

^c LEIDEN UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK SECURITY;

'CURRENT; FORMAL DEFINITION; FORMALISATION; ONION ROUTING; SECURITY GOALS; SECURITY PROTOCOLS; STANDARD PRACTICES;

FORMAL METHODS;

EID: 31844446595     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30108-0_7     Document Type: Article

References (17)

1. J.C.M. Baeten and W.P. Weijland. Process Algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1990.
2. J.A. Bergstra, A. Ponse, and S. A. Smolka. Handbook of Process Algebra. Elsevier, 2001.
3. R. Clarke. Introduction to dataveillance and information privacy, and definitions of terms, http://www.anu.edu.au/people/Roger.Clarke/DV/Intro.html, 1999.
4. C.J.F. Cremers, S. Mauw, and E.P. de Vink. Defining authentication in a trace model. In T. Dimitrakos and F. Martinelli, editors, Proc. FAST 2003, 1st International Workshop on Formal Aspects in Security and Trust, pages 131-145, Pisa, 2003. IITT-CNR technical report.
5. C. Díaz, J. Claessens, S. Seys, and B. Preneel. Information theory and anonymity. In B. Macq and J.-J. Quisquater, editors, Proc. 23rd Symposium on Information Theory in the Benelux, pages 179-186. Université Catholique de Louvain, 2002.
6. EPIC. Comments of the Electronic Privacy Information Center. www.epic.org/privacy/drm/, 2002.
7. W.J. Fokkink. Introduction to Process Algebra. Texts in Theoretical Computer Science, an EATCS Series. Springer, 2000.
8. Association for Automatic Identification and Mobility. Rfid.org. www.aimglobal.org/technologies/rfid/, 2004.
9. D.M. Goldschlag, M.G. Reed, and P.F. Syverson. Hiding routing information. In R.J. Anderson, editor, Proc. 1st International Workshop on Information Hiding, pages 137-150, Cambridge, 1996. LNCS 1174.
10. ISO. Common Criteria-ISO/IEC/15408. http://csrc.nist.gov/cc/, 1999.
11. M. Korkea-aho. Anonymity and privacy in the electronic world, 1999. Seminar on Network Security, Helsinki University of Technology.
12. A. Pfitzmann and M. Köhntopp. Anonymity, unobservability, and pseudonymity. In H. Federrath, editor, Designing Privacy Enhancing Technologies, pages 1-9. LNCS 2009, 2001.
13. M.K. Reiter. Crowds: Anonymity for web transactions. ACM Transactions on Information and System Security, pages 66-92, 1998.
14. S. Schneider and A. Sidiroupoulos. CSP and anonymity. In Proc. ESORICS'96, pages 198-218. LNCS 1146, 1996.
15. A. Serjantov and G. Danezis. Towards an information theoretic metric for anonymity. In H. Federrath, editor, Proc. PET 2002, pages 41-53. LNCS 2482, 2003.
16. P. Syverson, G. Tsudik, M. Reed, and C. Landwehr. Towards an analysis of onion routing security. In H. Federrath, editor, Designing Privacy Enhancing Technologies, pages 96-114. LNCS 2009, 2001.
17. P.F. Syverson, D.M. Goldschlag, and M.G. Reed. Anonymous connections and onion routing. In IEEE Symposium on Security and Privacy, pages 44-54, Oakland, California, 1997.