@misc{backes05justifying,
  author       = {Backes, Michael},
  title        = {Justifying Dolev-Yao under Active Attacks},
  howpublished = {Abstract presented at 26th IEEE Symposium on Security and Privacy},
  month        = {May},
  year         = {2005}
}