Showing papers by "Gregorio Díaz published in 2004"
14 Mar 2004
TL;DR: A way to use Formal Methods to ensure the e-commerce properties of Transport Layer Security (TLS) by using a known tool for Model Checking (UPPAAL) to describe and analyze the behaviour of the protocol (by means of timed automata).
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 paper we present a way to use Formal Methods to ensure the e-commerce properties of this protocol Specifically we use a known tool for Model Checking (UPPAAL) to describe and analyze the behaviour of the protocol (by means of timed automata) Thus, with this tool we can make an automatic verification of TLS
36 citations