Cryptology ePrint Archive: Report 2004/059

Available versions in chronological order

20040223:215329 (posted 23-Feb-2004 21:53:29 UTC): Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library; Michael Backes and Birgit Pfitzmann

[ Cryptology ePrint archive ]