Mostrar el registro sencillo del ítem
dc.contributor.advisor | Escobar Román, Santiago | es_ES |
dc.contributor.author | Santiago Pinazo, Sonia | es_ES |
dc.date.accessioned | 2011-12-13T13:30:04Z | |
dc.date.available | 2011-12-13T13:30:04Z | |
dc.date.created | 2010 | |
dc.date.issued | 2011-12-13 | |
dc.identifier.uri | http://hdl.handle.net/10251/13969 | |
dc.description.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. In this thesis, we discuss an extension to the current syntax and operational semantics of the Maude-NPA, a protocol specification and analysis tool, to support dynamic sequential composition of protocols, so that protocols can be specified separately and composed when desired. This allows one to reason about many different compositions with minimal changes to the specification. Moreover, we show that, by a simple protocol transformation, we are able to analyze and verify this dynamic composition in the current Maude-NPA without any modification to the tool. We prove soundness and completeness of the protocol transformation with respect to the extended operational semantics, for protocol composition. Finally, we illustrate our work on some examples of protocol composition and provide some experimental results. | es_ES |
dc.format.extent | 74 | es_ES |
dc.language | Inglés | es_ES |
dc.publisher | Universitat Politècnica de València | es_ES |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject | Sequential protocol composition | es_ES |
dc.subject | Maude-npa | es_ES |
dc.subject | Cryptographic protocols | es_ES |
dc.subject | Maude-npa gui | es_ES |
dc.subject.classification | LENGUAJES Y SISTEMAS INFORMATICOS | es_ES |
dc.subject.other | 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ó | es_ES |
dc.title | Sequential protocol composition in Maude-NPA | es_ES |
dc.type | Tesis de máster | es_ES |
dc.rights.accessRights | Abierto | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat | es_ES |
dc.description.bibliographicCitation | Santiago Pinazo, S. (2010). Sequential protocol composition in Maude-NPA. http://hdl.handle.net/10251/13969 | es_ES |
dc.description.accrualMethod | Archivo delegado | es_ES |