A Secure VANET MAC Protocol for DSRC Applications | IEEE Conference Publication | IEEE Xplore