On Secure VANET-Based Ad Dissemination With Pragmatic Cost and Effect Control | IEEE Journals & Magazine | IEEE Xplore