A model for asynchronous reactive systems and its application to secure message transmission (2001)

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