Skip to content

Secure protocol composition.

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

VenueA*CCS
Year2003
ProceedingsFMSE

Browse the full CCS paper archive.