Skip to main content
. 2020 May 9;20(9):2707. doi: 10.3390/s20092707

Table 3.

Ban Logic inference rules.

Notation Description
Message-Meaning-Rule SSkH,S{X}kSHX
Jurisdiction-Rule SHX,SHXSX
Belief-Rule S(X,Y)SX
Nonce-Verification-Rule S#(X),SHXSHX
Freshness-Rule S#(X)S#(X,Y)