- -

Sequential protocol composition in Maude-NPA

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

Compartir/Enviar a

Citas

Estadísticas

Sequential protocol composition in Maude-NPA

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

Ficheros en el ítem

Metadatos del ítem

Título: Sequential protocol composition in Maude-NPA
Autor:
Director(es): Escobar Román, Santiago
Entidad UPV: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha acto/lectura:
2010
Fecha difusión:
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: Sequential protocol composition , Maude-npa , Cryptographic protocols , Maude-npa gui
Derechos de uso: Reserva de todos los derechos
Titulación: Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes d'Informació
Tipo: Tesis de máster

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

Mostrar el registro completo del ítem