A Lightweight Three-Party Mutual Authentication Protocol for Internet of Health Things Systems

Table 2

BAN logic notation and rules.

	believes the message X
	sees the message X
	once said the message X
	has jurisdiction over the message X
	The message X is fresh
	Only and Q know X
	and Q share key K
	X or Y is a part of message (X, Y)
	X is encrypted with K
	X is hashed with K
R1	Message meaning rule: ,
R2	Nonce verification rule:
R3	Jurisdiction rule:
R4	Freshness rule: ,
R5	Belief rule: , ,