- -

Sequential protocol composition in Maude-NPA

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by


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: Santiago Pinazo, Sonia
Director(s): Escobar Román, Santiago
UPV Unit: Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Read date / Event date:
Issued date:
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
Universitat Politècnica de València
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