@article{backes08key,
  author       = {Backes, Michael and Pfitzmann, Birgit and Scedrov, Andre},
  title        = {Key-dependent Message Security under Active Attacks -
BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles},
  journal      = {Journal of Computer Security (JCS)},
  year         = {2008},
  publisher    = {IOS Press}
}