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

by B Pfitzmann, M Waidner
Venue:In Proceedings of the IEEE Symposium on Research in Security and Privacy