@article{backes07conditional,
  author       = {Backes, Michael and Dürmuth, Markus and Hofheinz, Dennis and Küsters, Ralf},
  title        = {Conditional Reactive Simulatability},
  journal      = {International Journal of Information Security (IJIS)},
  year         = {2007},
  publisher    = {Springer}
}