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

Table 7

Strands of small group attack module.

Rule name	Specification	Strand
SS-G	Generating elements on subgroups
SS-V	Guess the elements on a subgroup