SST: A secure fault-tolerant Smart Transportation system for Vehicular Ad hoc Network | IEEE Conference Publication | IEEE Xplore