Security and Communication Networks

Research Article

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

Figure 1

Strand space digraph of NSPK.