Fig. 5
From: Lightweight identity authentication and key agreement scheme for VANETs based on SSL-PUF

The process of formal security analysis.
From: Lightweight identity authentication and key agreement scheme for VANETs based on SSL-PUF

The process of formal security analysis.