@article{backes05relating,
  author       = {Backes, Michael and Pfitzmann, Birgit},
  title        = {Relating Cryptographic und Symbolic Key Secrecy},
  journal      = {IEEE Transactions on Dependable and Secure Computing (TDSC)},
  volume       = {2},
  number       = {2},
  year         = {2005},
  pages        = {109-123}
}