Automatic verification on e-commerce: Verifying the TLS HandShake protocol

G. Díaz, F. Cuartero, V. Valero and F. Pelayo

To appear at SAC'04 e-commerce Technologies Track (SAC04), Nicosia, Cyprus, 14-17 March 2004


Abstract

E-commerce is based on transactions between client and server agents. These transactions require a protocol that provides privacy and reliability between these two agents. A widely used protocol on e-commerce is Transport Layer Security (TLS). In this article we present a way to use Formal Methods to ensure the e-commerce properties. We use a known tool for Model Checking (UPPAAL) that allows us an automatic verification of TLS. This tool based on timed automata realizes the validation and verification of the systems, which is modeled as a timed automata.


Server START Conference Manager
Update Time 29 Oct 2003 at 16:23:20
Maintainer fernando@sip.ucm.es.
Start Conference Manager
Conference Systems