TY  - RPRT
TI  - Beyond the Dolev-Yao Model: Realistic Application-Specific Attacker Models for Applications Using Vehicular Communication
AU  - Christoph Ponikwar
AU  - Hans-Joachim Hof
AU  - Smriti Gopinath
AU  - Lars Wischhof
PY  - 2016
UR  - https://arxiv.org/abs/1607.08277
ID  - 1607.08277
ER  -