Scrutinizing the Vulnerability of Ephemeral Diffie–Hellman over COSE (EDHOC) for IoT Environment Using Formal Approaches

Table 3

BAN-Logic rules.

Rule name	Rule
Message meaning rule (MM)
	Nonce verification (NV) rule
	Jurisdiction (JR) rule
Freshness (FR) rule
Decomposition (DR) rule
Belief conjunction (BC) rule
	Diffie–Hellman (DH) rule