Anonymous, Secure and Efficient Vehicular Communications