VANET Authentication Protocols: Security Analysis and a Proposal | AMiner