A Modular Security Analysis of the TLS Handshake Protocol.

Paul Morrissey Nigel P. Smart Bogdan Warinschi A Modular Security Analysis of the TLS Handshake Protocol. 55-73 2008 ASIACRYPT http://dx.doi.org/10.1007/978-3-540-89255-7_5 conf/asiacrypt/2008 db/conf/asiacrypt/asiacrypt2008.html#MorrisseySW08