selected publications conference paper Model-Based Security Evaluation of Vehicular Networking Architectures. . 2010