Cryptology ePrint Archive: Report 2004/082
Available versions in chronological order
20040316:154018 (posted 16-Mar-2004 15:40:18 UTC)
Secure Asynchronous Reactive Systems
Michael Backes and Birgit Pfitzmann and Michael Waidner
Publication Info: This paper extends parts of the paper "A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission" by Pfitzmann and Waidner, published at IEEE Symposium on S&P 2001 and as ePrint-Archive report 2000/066.
20070507:104957 (posted 07-May-2007 10:49:57 UTC)
The Reactive Simulatability (RSIM) Framework for Asynchronous Systems
Michael Backes and Birgit Pfitzmann and Michael Waidner
Publication Info: Accepted at Information and Computation
[
Cryptology ePrint archive
]