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. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Mauw, S., Verschuren, J. H. S., & De Vink, E. P. (2004). A formalization of anonymity and onion routing. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3193, 109–124. https://doi.org/10.1007/978-3-540-30108-0_7
Mendeley helps you to discover research relevant for your work.