@inproceedings{backes04general,
  author       = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
  title        = {A General Composition Theorem for Secure Reactive System},
  booktitle    = {Proceedings of 1st Theory of Cryptography Conference (TCC)},
  series       = {Lecture Notes in Computer Science},
  volume       = {2951},
  month        = {February},
  year         = {2004},
  publisher    = {Springer},
  pages        = {336-354}
}