|
Title:
|
FORMAL VERIFICATION OF TLS HANDSHAKE AND EXTENSIONS FOR WIRELESS NETWORKS |
|
Author(s):
|
Llanos Tobarra , Diego Cazorla , Fernando Cuartero , Gregorio Díaz |
|
ISBN:
|
972-8924-09-7 |
|
Editors:
|
Nuno Guimarães, Pedro Isaías and Ambrosio Goikoetxea |
|
Year:
|
2006 |
|
Edition:
|
Single |
|
Keywords:
|
Evaluation and Assessment, Security, Wireless Applications, E-commerce Theory and Practice. |
|
Type:
|
Full Paper |
|
First Page:
|
57 |
|
Last Page:
|
64 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
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. |
|
|
|
|
|
|
