TDMAC: A timestamp defined message authentication code for secure data dissemination in VANET | IEEE Conference Publication | IEEE Xplore