An Efficient Approach for the Detection and Prevention of Gray-Hole Attacks in VANETs | IEEE Journals & Magazine | IEEE Xplore