Cryptology ePrint Archive: Report 2004/300
Available versions in chronological order
20041112:153223 (posted 12-Nov-2004 15:32:23 UTC)
Relating Symbolic and Cryptographic Secrecy
Michael Backes and Birgit Pfitzmann
[
Cryptology ePrint archive
]