Secure Asynchronous Reactive Systems (2004)

by M Backes, B Pfitzmann, M Waidner