Research Article
Scrutinizing the Vulnerability of Ephemeral Diffie–Hellman over COSE (EDHOC) for IoT Environment Using Formal Approaches
| 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 | | |
|
|