Formal verification of security properties of ESSI protocol
Fecha
Autores
Directores
Editores
Otras autorías
Unidades organizativas
Handle
https://riunet.upv.es/handle/10251/57396
Cita bibliográfica
Luján Cuenca, S. (2015). Formal verification of security properties of ESSI protocol. https://riunet.upv.es/handle/10251/57396.
Titulación
Ingeniero Industrial-Enginyer Industrial
Resumen
Proyecto Confidencial (Riunet)