Mostrar el registro completo del ítem
Santiago Pinazo, S. (2010). Sequential protocol composition in Maude-NPA. http://hdl.handle.net/10251/13969
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/13969
Título: | Sequential protocol composition in Maude-NPA | |||
Autor: | Santiago Pinazo, Sonia | |||
Director(es): | ||||
Entidad UPV: |
|
|||
Fecha acto/lectura: |
|
|||
Resumen: |
Protocols do not work alone, but together, one protocol relying on another to provide needed services. Many of the problems in cryptographic protocols arise when such composition is done incorrectly or is not well understood. ...[+]
|
|||
Palabras clave: |
|
|||
Derechos de uso: | Reserva de todos los derechos | |||
Editorial: |
|
|||
Titulación: |
|
|||
Tipo: |
|