A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission.
['Birgit Pfitzmann', 'Michael Waidner']
A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission.