A Four-Stage Design Approach Towards Securing a Vehicular Ad Hoc Networks Architecture | IEEE Conference Publication | IEEE Xplore