@inproceedings{backes05secrecy,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {Relating Cryptographic und Symbolic Secrecy},
  booktitle    = {Proceedings of 26th IEEE Symposium on Security and Privacy},
  month        = {May},
  year         = {2005},
  pages        = {171-182},
  note         = {Preprint on IACR ePrint 2004/300}
}