Security Modeling And Analysis For Intelligent Transportation Systems