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

by B Pfitzmann, M Waidner
Venue:In Proc. of the 22nd IEEE Symposium on Security and Privacy (S&P’01),