Protocol Game

In case you've missed it, check the introduction first.

Explicit Network

In the previous example, Alice sends the message "secret" to Bob, but the network she uses for that is not made explicit.

We now introduce the network as a grey bar located to the right of the agents. Compared to the previous example, we now have an extra step, which represents the message going through the network.

To visualise what is going in the network, we indicate on the arrow from the sender to the network the message number (e.g., [0] for the first message sent on the network), and the full message can be found in the Network Stack (and displayed when hovering the number above the arrow). Each message in the stack is associated with a unique identifier, and a status, which starts with the "/" symbol. We consider two statuses at this stage:

• "/w" indicates that the message is waiting in the stack (and the message should be displayed in italic).
• "/t" indicates that the message has been transmitted to its intended recipient (and the message should be displayed in green).

We introduce the attacker in the next part.