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

Table 4

Strands of ADD and MUL operation module.

Rule name	Specification	Strand
ADD-G	Generative addition terms
ADD-S	Commutative rule of addition
ADD-D	Inverse rule of addition
MUL-G	Generative multiplication terms
MUL-S	Commutative rule of multiplication
MUL-D	Inverse rule of multiplication