A Privacy Protection User Authentication and Key Agreement Scheme Tailored for the Internet of Things Environment: PriAuth

Table 8

Some primary BAN logic postulates.

Rule	BAN Logic form
rule	, ,
~ introduction rule	,
~ elimination rule
-introduction
Jurisdiction or control rule
introduction rule
Freshness rule
Elimination of multipart messages rule	, , , ,