标记	含义	公式
$R_{1}$	消息含义规则	$\frac{P \| \equiv Q \overset{K}{\leftrightarrow} P, P ⊲ {X}_{K}}{P \| \equiv Q \| \sim X}$
$R_{2}$	管辖权规则	$\frac{P \| \equiv Q \| \Rightarrow X, P \| \equiv Q \| \equiv X}{P \| \equiv X}$
$R_{3}$	Nonce验证规则	$\frac{P \| \equiv # (X), P \| \equiv Q \| \sim X}{P \| \equiv Q \| \equiv X}$
$R_{4}$	新鲜度规则	$\frac{P \| \equiv # (X)}{P \| \equiv # (X, Y)}$
$R_{5}$	信念规则	$\frac{P \| \equiv (X), P \| \equiv (Y)}{P \| \equiv (X, Y)}$ , $\frac{P \| \equiv Q \| \equiv (X, Y)}{P \| \equiv Q \| \equiv X}$