Cryptology ePrint Archive: Report 2010/080
Available versions in chronological order
20100216:093413 (posted 16-Feb-2010 09:34:13 UTC)
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols
Gergei Bana and Koji Hasebe and Mitsuhiro Okada
20100218:220854 (posted 18-Feb-2010 22:08:54 UTC)
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols
Gergei Bana and Koji Hasebe and Mitsuhiro Okada
20100324:112732 (posted 24-Mar-2010 11:27:32 UTC)
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols
Gergei Bana and Koji Hasebe and Mitsuhiro Okada
20100429:172917 (posted 29-Apr-2010 17:29:17 UTC)
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols
Gergei Bana and Koji Hasebe and Mitsuhiro Okada
20100720:194022 (posted 20-Jul-2010 19:40:22 UTC)
Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols
Gergei Bana and Koji Hasebe and Mitsuhiro Okada
[
Cryptology ePrint archive
]