Verifiable Spatial Range Query Over Encrypted Cloud Data in VANET | IEEE Journals & Magazine | IEEE Xplore