@inproceedings{backes04symmetric,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library},
  booktitle    = {Proceedings of 17th IEEE Computer Security Foundations Workshop (CSFW)},
  month        = {June},
  year         = {2004},
  pages        = {204-218},
  note         = {Preprint on IACR ePrint 2004/059}
}