Table 2.

Ban Logic notations.

Feature	Description
$S\mid \equiv X$	S believes if the formula X is true
$S\mid \sim X$	S once said X
$S⊲X$	S sees X
$S\stackrel{k}{\leftrightarrow }H$	k is a shared-secret between S and H
$S\stackrel{K}{\iff }H$	K is a secret parameter known only S and H
$\#\left(X\right)$	X is fresh.
${\left\{X\right\}}_k$	X is encrypted with the secret key k
$\langle X\rangle Y$	X is combine with secret Y
$S\Rightarrow X$	S has jurisdiction over X
$\frac{S}{H}$	If S is true then H is also true