- -

Formal verification of security properties of ESSI protocol

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Formal verification of security properties of ESSI protocol

Show full item record

Luján Cuenca, S. (2015). Formal verification of security properties of ESSI protocol. http://hdl.handle.net/10251/57396.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/57396

Files in this item

Item Metadata

Title: Formal verification of security properties of ESSI protocol
Author: Luján Cuenca, Sergio
Director(s): Sojka, Michal
UPV Unit: Universitat Politècnica de València. Escuela Técnica Superior de Ingenieros Industriales - Escola Tècnica Superior d'Enginyers Industrials
Read date / Event date:
2015-09
Issued date:
Abstract:
Proyecto Confidencial (Riunet)
Subjects: Propiedades de seguridad , Verificación de protocolos , Protocolo ESSI
Copyrigths: Cerrado
degree: Ingeniero Industrial-Enginyer Industrial
Type: Proyecto/Trabajo fin de carrera/grado

This item appears in the following Collection(s)

Show full item record