Protocol Game

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

Interactive game

We now introduce the console, so that you can execute yourself the different commands of the attackers!

Let us start with four simple network control commands:

• new_session(): triggers the first agent in the protocol (usually A) to start a new session of the protocol; Note that for every identifier starting with the # symbol, new_session command will create a fresh value;
• transmit(id): transmits the message with the corresponding id in the stack;
• block(id): blocks the message with the corresponding id in the stack;
• intercept(id): intercepts the message with the corresponding id in the stack;
• inject(X -> Y : msg): injects the message "msg", where "X" and "Y" are agents in the systems.

For instance, let us consider the simple protocol used when introducing the network:

Knowledge: A:[secret], B:[], E:[fake]
Steps:

1. A -> B: #secret

Try typing in the Commands console below the different commands explained above, each command separated by a ";". For instance, executing "new_session();transmit(0);" should result in B knowing secret.

Similarly, executing "new_session();intercept(0);block(0);inject(A->B:fake);transmit(1);" should result in E knowing secret and B knowing fake.

The next exercise introduce the commands relative to encryption and decryption.