Cryptology ePrint Archive: Report 2006/068
Available versions in chronological order
20060223:223838 (posted 23-Feb-2006 22:38:38 UTC)
Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes
Michael Backes and Birgit Pfitzmann and Michael Waidner
20070501:170949 (posted 01-May-2007 17:09:49 UTC)
Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes
Michael Backes and Birgit Pfitzmann and Michael Waidner
[
Cryptology ePrint archive
]