Model-Based Security Evaluation of Vehicular Networking Architectures | IEEE Conference Publication | IEEE Xplore