Michael Backes, Birgit Pfitzmann, Michael Waidner. A General Composition Theorem for Secure Reactive Systems. In Moni Naor, editor, Theory of Cryptography, First Theory of Cryptography Conference, TCC 2004, Cambridge, MA, USA, February 19-21, 2004, Proceedings. Volume 2951 of Lecture Notes in Computer Science, pages 336-354, Springer, 2004. [doi]
Abstract is missing.