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

Table 6

Strands of ECDH operation module.

Rule name	Specification	Strand
ECDH-K	Initial knowledge
ECDH-G	Perform multiplication
ECDH-S1	Addition exchange rule
ECDH-S2	Multiplication exchange rules
ECDH-L1	Deduction rule L1
ECDH-L2	Deduction rule L2
ECDH-R1	Deduction rule R1
ECDH-R2	Deduction rule R2