A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission (0)

by B Pfitzmann, M Waidner
Venue:In Proc. IEEE Symp. on Security and Privacy