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

Table 3

Strands of XOR operation module.

Rule name	Specification	Strand
XOR-Z	Initial knowledge
XOR-G	Generate XOR terms
XOR-S	Commutative rule of XOR
XOR-D	Reflexive rule of XOR
XOR-Z	Obtains the term XOR with 0
XOR-C	Associative rule of XOR operation