Research Article
ESSM: Formal Analysis Framework for Protocol to Support Algebraic Operations and More Attack Capabilities
Table 5
Strands of DH operation module.
| Rule name | Specification | Strand |
| DH-K | Initial knowledge | | DH-G | Perform power module operation | | DH-S1 | Commutative rule of multiplication | | DH-S2 | Commutative rule of addition | | DH-L1 | Deduction rule L1 | | DH-L2 | Deduction rule L2 | | DH-R1 | Deduction rule R1 | | DH-R2 | Deduction rule R2 | |
|
|