A Study of Mutual Authentication Scheme Using the PUFs and Zero-Knowledge Proofs for VANET Environments