Security and Communication Networks

Research Article

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

Table 5

Strands of DH operation module.
Rule nameSpecificationStrand
DH-KInitial knowledge
DH-GPerform power module operation
DH-S1Commutative rule of multiplication
DH-S2Commutative rule of addition
DH-L1Deduction rule L1
DH-L2Deduction rule L2
DH-R1Deduction rule R1
DH-R2Deduction rule R2