Paper Info
Title
A model of onion routing with provable anonymity
Abstract
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.
Year
DOI
Venue
2007
10.1007/978-3-540-77366-5_9
Financial Cryptography
Keywords
Field
DocType
rigorous analysis,possibilistic definition,practical use,provable anonymity,anonymous communication,anonymity guarantee,io-automata model,onion-routing protocol,onion routing,formal model,anonymity,routing,security,computer networks,privacy,communications protocols,automata,routing protocol,cryptography
Internet privacy,Dynamic Source Routing,Computer science,Policy-based routing,Computer security,Enhanced Interior Gateway Routing Protocol,Computer network,Wireless Routing Protocol,Anonymity,Routing Information Protocol,Onion routing,Universal composability
Conference
Volume
ISSN
ISBN
4886
0302-9743
3-540-77365-7
Citations 
PageRank 
References 
24
1.17
17
Authors
3
Name
Order
Citations
PageRank
Joan Feigenbaum14714711.33
Aaron Johnson238020.14
Paul Syverson34713457.55