A Detailed Case Study on VANET Security Requirements, Attacks and Challenges