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

by Birgit Pfitzmann, Michael Waidner
Venue:In IEEE Symposium on Security and Privacy