Vehicular ad hoc networks verification scheme based on bilinear pairings and networks reverse fuzzy extraction | Digital Library | PAMCET | PAMCET