ESSM: Formal Analysis Framework for Protocol to Support Algebraic Operations and More Attack Capabilities

<div>Attack path 1 of Zhang’s protocol.</div>

Security and Communication Networks

Figure 6: ESSM: Formal Analysis Framework for Protocol to Support Algebraic Operations and More Attack Capabilities 