Securing Cognitive Radio Vehicular Ad Hoc Networks with Fog Computing