ProSEV: Proxy-Based Secure and Efficient Vehicular Communication | IEEE Conference Publication | IEEE Xplore