Performance Analysis of an OCSP-Based Authentication Protocol for VANETs