符号

含义

$P|\equiv X$

P相信X

$P⊲X$

P曾经收到包含X的消息

$P|\sim X$

P曾经发送包含X的消息

$\#X$

X是新鲜的

$P|\Rightarrow X$

P对X有管辖权

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

P和Q之间共享密钥K

$P\stackrel{X}{\rightleftharpoons }Q$

P和Q之间共享秘密X

${\langle X\rangle }_K$

使用K加密X