Security in vehicular ad hoc networks | IEEE Journals & Magazine | IEEE Xplore