Research Article
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 | |
|
|