符号

含义

$P|\equiv X$

P相信X

$P⊲X$

P曾经收到包含X的信息

$P|~X$

P曾经发送包含X的信息

$\#X$

X是新生成的随机数

$P|\Rightarrow X$

P对X有仲裁权

$P\stackrel{K}{\leftrightarrow }Q$

K是P和Q之间共享的密钥

${\left\{X\right\}}_K$

使用K加密X

A/B

A表示协议发起方，B表示协议响应方