Given the enormous interest in self-driving cars, Vehicular Ad hoc NETworks (VANETs) are likely to be widely deployed in the near future. Cloud computing is also gaining widespread deployment. Marriage between cloud computing and VANETs, would help solve many of the needs of the drivers, law-enforcement agencies, traffic management, etc. In this paper, we propose a secure and distributed architecture for vehicular cloud which uses the capabilities of vehicles to provide various services such as parking management, accident alert, traffic updates, cooperative driving, etc. Our architecture ensures privacy of vehicles, and supports scalable and secure message dissemination using vehicular infrastructure.