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