Owner: @Marcin Pawlowski
Reviewers: 🟢@Álvaro Castro-Castilla
In this section we are analyzing the security (information leakage) of the mix network that is using broadcasting channel for inter-node communication. In other words, we are assuming that nodes do not contact each other directly for the purposes of mixing, and every message that is send by a node to the network is delivered to all other nodes.
Let us start from defining simple models that will be used for further analysis.
We are defining a broadcasting model as a combination of two network level functions that are implemented by each node.
Now let us allow the Node B to mix the traffic, this is done through the following function.
Let us now focus on a general mixing model. Let us assume that a node always relays messages regardless if he is recipient or not, then we can safely abstract from the underlying communication mechanism and introduce the following model that consists of the next functions.