Mostrar el registro completo del ítem
Escobar Román, S.; Meadows, C.; Meseguer, J.; Santiago Pinazo, S. (2014). State space reduction in the Maude-NRL Protocol Analyzer. Information and Computation. 238:157-186. https://doi.org/10.1016/j.ic.2014.07.007
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/49240
Título: | State space reduction in the Maude-NRL Protocol Analyzer | |
Autor: | Meadows, Cahterine Meseguer, José Santiago Pinazo, Sonia | |
Entidad UPV: |
|
|
Fecha difusión: |
|
|
Resumen: |
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different equational properties. It both extends and ...[+]
|
|
Palabras clave: |
|
|
Derechos de uso: | Reserva de todos los derechos | |
Fuente: |
|
|
DOI: |
|
|
Editorial: |
|
|
Versión del editor: | http://dx.doi.org/10.1016/j.ic.2014.07.007 | |
Código del Proyecto: |
|
|
Agradecimientos: |
We would like to thank Antonio Gonzalez for his help in providing several protocol specifications in Maude-NPA. S. Escobar and S. Santiago have been partially supported by the EU (FEDER) and the Spanish MEC/MICINN under ...[+]
|
|
Tipo: |
|