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

Figure 3

State diagram for the asymmetric-key-based EDHOC protocol.