- -

Formal verification of security properties of ESSI protocol

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Formal verification of security properties of ESSI protocol

Mostrar el registro sencillo del ítem

Ficheros en el ítem

[Cerrado]
Nombre: Memoria - Luján ...
Tamaño: 691.6Kb
Formato: PDF
Descripción: Memoria
Solicitar una copia al autor
dc.contributor.advisor Sojka, Michal es_ES
dc.contributor.author Luján Cuenca, Sergio es_ES
dc.date.accessioned 2015-11-12T13:37:19Z
dc.date.available 2015-11-12T13:37:19Z
dc.date.created 2015-09
dc.date.issued 2015-11-12
dc.identifier.uri http://hdl.handle.net/10251/57396
dc.description.abstract Proyecto Confidencial (Riunet) es_ES
dc.language Inglés es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Propiedades de seguridad es_ES
dc.subject Verificación de protocolos es_ES
dc.subject Protocolo ESSI es_ES
dc.subject.classification INGENIERIA DE SISTEMAS Y AUTOMATICA es_ES
dc.subject.other Ingeniero Industrial-Enginyer Industrial es_ES
dc.title Formal verification of security properties of ESSI protocol es_ES
dc.type Proyecto/Trabajo fin de carrera/grado es_ES
dc.rights.accessRights Cerrado es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escuela Técnica Superior de Ingenieros Industriales - Escola Tècnica Superior d'Enginyers Industrials es_ES
dc.description.bibliographicCitation Luján Cuenca, S. (2015). Formal verification of security properties of ESSI protocol. http://hdl.handle.net/10251/57396. es_ES
dc.description.accrualMethod Archivo delegado es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem