Invulnerability analysis of vehicular ad hoc networks based on temporal networks | IEEE Conference Publication | IEEE Xplore