Modeling and Verifying Privacy-Preserving Authentication Scheme for VANET Using CSP | IEEE Conference Publication | IEEE Xplore