TitleA Model of Onion Routing with Provable Anonymity
Publication TypeConference Paper
Year of Publication2007
AuthorsFeigenbaum, J., A. Johnson, and P. Syverson
Conference NameFinancial Cryptography and Data Security, 11th International Conference, FC 2007

Onion routing is a scheme for anonymous communication that is designed for practical use. Until now, however, it has had no formal model and therefore no rigorous analysis of its anonymity guarantees. We give an IO-automata model of an onion-routing protocol and, under possibilistic definitions, characterize the situations in which anonymity and unlinkability are guaranteed.

Full Text

Feigenbaum etal2007b.pdf

NRL Publication Release Number