Security Analysis of Vehicular Ad-hoc Networks based on Attack Tree | IEEE Conference Publication | IEEE Xplore