@inproceedings{backes05limits,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {Limits of the Cryptographic Realization of Dolev-Yao-style XOR},
  booktitle    = {Proceedings of 10th European Symposium on Research in Computer Security (ESORICS)},
  series       = {Lecture Notes in Computer Science},
  volume       = {3679},
  month        = {September},
  year         = {2005},
  publisher    = {Springer},
  pages        = {178-196}
}