Table 7 Notations of BAN Logic.
From: An IoT based remote medical diagnosis system using one time pad cipher over MQTT protocol
Notation | Description |
|---|---|
P | ≡ X | P believes the message from X |
#X | The message is newly generated |
P ◁ X | P sees the message of X |
P | ~ X | P once said X |
P = > X | P monitors and controls message of X |
< X > Y | Formula X is combined with the formula Y |
{X}k | Formula X is encrypted by the key K |
k P ↔ Q | Players P and Q communication using K as shared key |
SK | Session key |
