Table 5 AVISPA simulation results for the enhanced EAADE protocol.

From: Enhanced EAADE: a quantum-resilient and privacy-preserving authentication protocol for secure data exchange in vehicular social networks

Security property

OFMC res.

CL-AtSe res.

Mutual authentication

SAFE

SAFE

Credential secrecy (\(ACd_i\), \(ACdki^*\))

SAFE

SAFE

Session key secrecy (\(SK_{MS-i}\))

SAFE

SAFE

Replay attack resistance

SAFE

SAFE

Message integrity and verification

SAFE

SAFE

Back to article page