Secure Protocol Composition.

Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic

Browse the full MFPS paper archive.