Skip to content

A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission.

Birgit Pfitzmann, Michael Waidner

VenueA*SP
Year2001
ProceedingsS&P

Browse the full SP paper archive.