Cryptology ePrint Archive: Report 2004/334

Available versions in chronological order

20041202:194447 (posted 02-Dec-2004 19:44:47 UTC): Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange); Ran Canetti and Jonathan Herzog
20050221:193951 (posted 21-Feb-2005 19:39:51 UTC): Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange); Ran Canetti and Jonathan Herzog
20050222:194215 (posted 22-Feb-2005 19:42:15 UTC): Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange); Ran Canetti and Jonathan Herzog
20050222:194710 (posted 22-Feb-2005 19:47:10 UTC): Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange); Ran Canetti and Jonathan Herzog
20050914:144130 (posted 14-Sep-2005 14:41:30 UTC): Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange); Ran Canetti and Jonathan Herzog
20091013:071933 (posted 13-Oct-2009 07:19:33 UTC): Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange); Ran Canetti and Jonathan Herzog; Publication Info: To appear at JoC. Preliminary version in TCC '06.