International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

A General Composition Theorem for Secure Reactive Systems

Authors:
Michael Backes
Birgit Pfitzmann
Michael Waidner
Download:
DOI: 10.1007/978-3-540-24638-1_19
Search ePrint
Search Google
Conference: TCC 2004
BibTeX
@inproceedings{tcc-2004-3586,
  title={A General Composition Theorem for Secure Reactive Systems},
  booktitle={Theory of Cryptography, First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={2951},
  pages={336-354},
  doi={10.1007/978-3-540-24638-1_19},
  author={Michael Backes and Birgit Pfitzmann and Michael Waidner},
  year=2004
}