@InProceedings{esorics04,
  author = 	 {S. Mauw and J. Verschuren and Vink, E.P. de},
  title = 	 {A Formalization of Anonymity and Onion Routing}, 
  booktitle = 	 {Proc.\ Esorics 2004},
  address =      {Sophia Antipolis},
  publisher =	 {LNCS~3193},
  year =	 2004,
  editor =	 {P. Samarati and P. Ryan and D. Gollmann and R. Molva},
  pages =	 {109--124}
}