@misc{backes06soundness,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {Soundness Limits of Dolev-Yao Models},
  howpublished = {Workshop on Formal and Computational Cryptography (FCC'06), affiliated with ICALP'06},
  month        = {June},
  year         = {2006}
}