Security and Communication Networks

Research Article

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

Table 11

Experiment result of several protocols.
ProtocolOriginal modelESSM model
Search queriesDetected attacksSemantics usedSearch queriesDetected attacks
TMN2658SafeXOR191948Algebraic attack
MTI-C (1)263550SafeDH SS493270Small subgroup attack
MTI-A (0)1649SafeDH KCI331160Impersonal attack
MTI-C (0)322SafeDH KCI2585KCI attack
WPA-PSK269SafeGuess55446Guessing attack
Zhang’s5684SafeXOR KCI Guess6349113Combination attack