Beyond the Dolev-Yao Model: Realistic Application-Specific Attacker Models for Applications Using Vehicular Communication
Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles