Cryptology ePrint Archive: Report 2008/236
Available versions in chronological order
20080526:032338 (posted 26-May-2008 03:23:38 UTC)
A Modular Security Analysis of the TLS Handshake Protocol
P. Morriessey, N.P.Smart and B. Warinschi
20080526:202610 (posted 26-May-2008 20:26:10 UTC)
A Modular Security Analysis of the TLS Handshake Protocol
P. Morrissey and N.P.Smart and B. Warinschi
20080602:122040 (posted 02-Jun-2008 12:20:40 UTC)
A Modular Security Analysis of the TLS Handshake Protocol
P. Morrissey and N.P.Smart and B. Warinschi
[
Cryptology ePrint archive
]