Secure Asynchronous Reactive Systems (2004)

by Michael Backes, Birgit Pfitzmann, Michael Waidner