A formalization of anonymity and onion routing

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

40 Citations (Scopus)
4 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationComputer Security - ESORICS 2004 (Proceedings 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September 13-15, 2004)
EditorsP. Samarati, P. Ryan, D. Gollmann, R. Molva
Place of PublicationBerlin
PublisherSpringer
Pages109-124
ISBN (Print)3-540-22987-6
DOIs
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
Volume3193
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'A formalization of anonymity and onion routing'. Together they form a unique fingerprint.

Cite this