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

Table 2

Attacker operation of strand space.

Symbol	Specification	Strand
M	Generate text messages
F	Receive messages
T	Receive and send messages
C	Connect received messages
S	Separating received messages
K	Send key
E	Encrypted message
D	Decrypt message