38 search results - page 1 / 8 » A Formalization of Anonymity and Onion Routing |
FC
2007
Springer
14 years 5 months ago
2007
Springer
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 a...
CRYPTO
2005
Springer
14 years 4 months ago
2005
Springer
Anonymous channels are necessary for a multitude of privacy-protecting protocols. Onion routing is probably the best known way to achieve anonymity in practice. However, the crypto...
ESORICS
2004
Springer
14 years 4 months ago
2004
Springer
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 goa...
SP
1997
IEEE
14 years 3 months ago
1997
IEEE
Onion Routing is an infrastructure for private communication over a public network. It provides anonymous connections that are strongly resistant to both eavesdropping and tra c a...
CACM
1999
13 years 10 months ago
1999
Onion Routing is an infrastructure for private communication over a public network. It provides anonymous connections that are strongly resistant to both eavesdropping and tra c a...