The design of a secure key management system in vehicular ad hoc networks | IEEE Conference Publication | IEEE Xplore