A Lightweight and Secure Anonymous User Authentication Protocol for Wireless Body Area Networks

Table 2

The notations and rules of the BAN logic.

Notations	Description
P, Q	A principal
P ◁ X	P sees X
	P said X, X was send by P
	P has jurisdiction over X
	k is P’s public key
	k is only known to P and Q.
#(X)	X is fresh
<X>k	Formulae X is combined with the formulae k
{X}k	X is encrypted by the key k
	P has faith in the truth of X
Rule 1: message meaning rule	or
Rule 2: nonce verification rule
Rule 3: jurisdiction rule
Rule 4: decomposition rule