Short-lived key management for secure communications in VANETs | IEEE Conference Publication | IEEE Xplore