Secure vehicular communication systems: implementation, performance, and research challenges | IEEE Journals & Magazine | IEEE Xplore