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

Figure 5

Two guessing chains of Zhang’s protocol.