On the Complexity of Anonymous Communication Through Public Networks

02/17/2019
by   Megumi Ando, et al.
0

Anonymous channels allow users to connect to websites or communicate with one another privately. Assume that either Alice or Allison is communicating with (a possibly corrupt) Bob. To protect the sender, we seek a protocol that provably guarantees that these two scenarios are indistinguishable to an adversary that can monitor the traffic on all channels of the network and control the internal operations in a constant fraction of the nodes. Onion routing is the method of choice for achieving anonymous communication, used for example by Tor. In an onion routing protocol, messages travel through several intermediaries before arriving at their destinations; they are wrapped in layers of encryption (hence they are called "onions"). In this paper, we give the first rigorous characterization of the complexity of onion routing protocols for anonymous communication through public networks. We show that in order to provide anonymity, an onion routing scheme requires each participant to transmit, on average, a superlogarithmic number of onions. We match these negative results with a protocol in which every participant creates a polylogarithmic number of onions and participates in a polylogarithmic number of transmissions.

READ FULL TEXT
research
04/28/2020

Formalising the Optimised Link State Routing Protocol

Routing protocol specifications are traditionally written in plain Engli...
research
04/28/2020

Formal Models of the OSPF Routing Protocol

We present three formal models of the OSPF routing protocol. The first t...
research
12/22/2022

Did You See That? A Covert Channel Exploiting Recent Legitimate Traffic

Covert channels are unforeseen and stealthy communication channels that ...
research
05/19/2018

ACR: a cluster-based routing protocol for VANET

Clustering is a technique used in network routing to enhance the perform...
research
03/18/2022

Advanced Models for the OSPF Routing Protocol

We present two formal models for the OSPF routing protocol, designed for...
research
07/02/2020

Spores: Stateless Predictive Onion Routing for E-Squads

Mass surveillance of the population by state agencies and corporate part...
research
09/03/2020

Towards a Methodology for the Development of Routing Algorithms in Opportunistic Networks

This paper introduces a methodology for the development of routing algor...

Please sign up or login with your details

Forgot password? Click here to reset