Secure vehicular communication systems: design and architecture | IEEE Journals & Magazine | IEEE Xplore