Anonymous and Traceable Communication Using Tamper-Proof Device for Vehicular Ad Hoc Networks | IEEE Conference Publication | IEEE Xplore