Beyond the Dolev-Yao Model: Realistic Application-Specific Attacker Models for Applications Using Vehicular Communication
SMS of Death: From Analyzing to Attacking Mobile Phones on a Large Scale