Skip to content

Composition and integrity preservation of secure reactive systems.

Birgit Pfitzmann, Michael Waidner

VenueA*CCS
Year2000
ProceedingsCCS

Browse the full CCS paper archive.