AFFIRM: Provably Forward Privacy for Searchable Encryption in Cooperative Intelligent Transportation System | IEEE Journals & Magazine | IEEE Xplore