A security credential management system for V2V communications | IEEE Conference Publication | IEEE Xplore