A Security Model for Intelligent Vehicles and Smart Traffic Infrastructure | IEEE Conference Publication | IEEE Xplore