A General Composition Theorem for Secure Reactive Systems.

Michael Backes, Birgit Pfitzmann, Michael Waidner

Browse the full TCC paper archive.