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