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

Table 2

BAN logic: postulates.

Rule	Description
	Message-meaning rule
	Nonce verification rule
	Acceptance conjunction
	Belief rule
	Fresh conjuncatenation rule
	Jurisdiction rule
	Session key