[Retracted] TC-PSLAP: Temporal Credential-Based Provably Secure and Lightweight Authentication Protocol for IoT-Enabled Drone Environments

Table 3

BAN logic: notations.

Notation	Explanation
	believes statement
	Share a key between and
	is fresh
	sees
	said
	are hashed by key
	is hashed with key
	is encrypted with key