simTD is the worldwide first field operational trial for car-to-x (C2X) technology that applies several hundred vehicles and roadside stations in a real-life environment in order to evaluate the entire spectrum of applications with regard to effects on traffic safety and traffic efficiency.

For a comprehensive integration of security into the simTD architecture several challenges have to be met. It has to be examined which security standards can be deployed with the given architecture. Adaptations and further extensions of common standards are necessary in order to fit the security and privacy mechanisms into the entire C2X architecture. Furthermore the security mechanisms have to deal with hardware restrictions due to the high availability requirements and the restrictions in terms of costs and resources that are typical for automotive environments. Finally novel concepts have to be developed with regard to the scale factor of the large fleet consisting of vehicles and infrastructure.

In this presentation we give a first glance on a near-series security architecture for C2X communications. We present the different concepts, protocols and cryptographic procedures used in simTD. Furthermore strategies to protect the driver's privacy based on pseudonyms are proposed.

• security requirements elicitation,
• systems of systems security engineering,
• security analysis for vehicular communication systems

• liability
• data protection
• ITS-Directive

• Need for automotive security hardware
• EVITA system architecture
• EVITA hardware architecture
• EVITA hardware interface

• Modular and flexible security architecture for automotive on-board networks
• Security services adaptable and configurable according to security requirements
• Security services comprise authentication, authorization, access control, privacy services, secure communication and intrusion management

• Vehicular Communication: Architectures and Paradigm
• A security model for in-car communication
• Mechanisms for enforcing trusted information flows
• Integration issues

• embedded systems
• modeling
• formal verification
• security analysis

• Security Engineering
• Model-/Refinement-Driven Engineering
• Formal Methods
• Modelling Trust