- -

Sequential protocol composition in Maude-NPA

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Sequential protocol composition in Maude-NPA

Show full item record

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

Files in this item

Item Metadata

Title: Sequential protocol composition in Maude-NPA
Author:
Director(s): Escobar Román, Santiago
UPV Unit: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Read date / Event date:
2010
Issued date:
Abstract:
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. ...[+]
Subjects: Sequential protocol composition , Maude-npa , Cryptographic protocols , Maude-npa gui
Copyrigths: Reserva de todos los derechos
degree: 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ó
Type: Tesis de máster

This item appears in the following Collection(s)

Show full item record