A formalization of anonymity and onion routing

S. Mauw, J.H.S. Verschuren, E.P. Vink, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

48 Citaten (Scopus)
4 Downloads (Pure)


The use of formal methods to verify security protocols with respect to secrecy and authentication has become standard practice. In contrast, the formalization of other security goals, such as privacy, has received less attention. Due to the increasing importance of privacy in the current society, formal methods will also become indispensable in this area. Therefore, we propose a formal definition of the notion of anonymity in presence of an observing intruder. We validate this definition by analyzing a well-known anonymity preserving protocol, viz. onion routing.
Originele taal-2Engels
TitelComputer Security - ESORICS 2004 (Proceedings 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September 13-15, 2004)
RedacteurenP. Samarati, P. Ryan, D. Gollmann, R. Molva
Plaats van productieBerlin
ISBN van geprinte versie3-540-22987-6
StatusGepubliceerd - 2004

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743


Duik in de onderzoeksthema's van 'A formalization of anonymity and onion routing'. Samen vormen ze een unieke vingerafdruk.

Citeer dit