Mostrar el registro completo del ítem
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
Título: | Formal verification of security properties of ESSI protocol | |||
Autor: | Luján Cuenca, Sergio | |||
Director(es): | Sojka, Michal | |||
Entidad UPV: |
|
|||
Fecha acto/lectura: |
|
|||
Resumen: |
|
|||
Palabras clave: |
|
|||
Derechos de uso: | Cerrado | |||
Editorial: |
|
|||
Titulación: |
|
|||
Tipo: |
|