A Secure and Lightweight Three-Factor Remote User Authentication Protocol for Future IoT Applications

Table 2

BAN logic symbols and their respective abbreviations.

Symbols	Abbreviation
	believes as a valid statement.
	Principal sees the statement .
	Principal once said the statement .
	The formula is fresh.
	and use the shared session key to communicate, and will never be discovered by any principal except and .
	has jurisdiction over .
	is hashed with the key .
	is combined with the key .
	is encrypted with the key .