Cryptology ePrint Archive: Report 2000/066
Available versions in chronological order
20001220:104340 (posted 20-Dec-2000 10:43:40 UTC)
A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission
Birgit Pfitzmann and Michael Waidner
Publication Info: IBM Research Report RZ3304 (#93350) 12/11/00, Zurich, December 2000
20010223:142008 (posted 23-Feb-2001 14:20:08 UTC)
A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission
Birgit Pfitzmann and Michael Waidner
Publication Info: IBM Research Report RZ3304 (#93350) 12/11/00, Zurich, December 2000
20010223:142052 (posted 23-Feb-2001 14:20:52 UTC)
A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission
Birgit Pfitzmann and Michael Waidner
Publication Info: Full version of a paper accepted for the IEEE Symposium on Security and Privacy, Oakland, May 2001.
[
Cryptology ePrint archive
]