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

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

Security and Communication Networks

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