Modeling and Verifying Privacy-Preserving Authentication Scheme for VANET Using CSP.

Ning Qin, Hongyan Mao, Yiwen Liu, Kai Chen

Browse the full COMPSAC paper archive.