FORMAL VERIFICATION OF TLS HANDSHAKE AND EXTENSIONS FOR WIRELESS NETWORKS
Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Dı́az · 2006
Transport Layer Security (TLS) is a security protocol widely used in e-commerce in recent years. This protocol has been extended in order to deal with clients connecting from mobile devices (PDAs, cellular phones) through a wireless network. The main goal of this paper is to prove, using model checking techniques, that TLS Handshake and its wireless extensions are secure enough to ensure that a client and a server are able to exchange secret data in a secure way when they communicate over a non trusted wireless network.