@misc{indiciae2fd0e321b985,
  title = {Beyond the Dolev-Yao Model: Realistic Application-Specific Attacker Models for Applications Using Vehicular Communication},
  author = {Christoph Ponikwar and Hans-Joachim Hof and Smriti Gopinath and Lars Wischhof},
  year = {2016},
  url = {https://arxiv.org/abs/1607.08277},
  note = {Source identifier: 1607.08277}
}