- -

Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA

Show full item record

Santiago Pinazo, S. (2015). Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA [Tesis doctoral no publicada]. Universitat Politècnica de València. doi:10.4995/Thesis/10251/48527.

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/48527

Files in this item

Item Metadata

Title: Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA
Author:
Director(s): Escobar Román, Santiago
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Read date / Event date:
2015-01-23
Issued date:
Abstract:
The area of formal analysis of cryptographic protocols has been an active one since the mid 80’s. The idea is to verify communication protocols that use encryption to guarantee secrecy and that use authentication of data ...[+]
Subjects: Maude-NPA , Formal verification of cryptographic protocols , Cryptographic protocol analysis , Narrowing-based reachability analysis , Reasoning modulo an equational theory , Variant-based equational unification , Standard rewritring-based model checking , Sequential protocol composition , Indistinguishability , Asymmetric unification , Equational unification , Efficient crytographic protocol analysis , State space reduction techniques
Copyrigths: Reserva de todos los derechos
DOI: 10.4995/Thesis/10251/48527
Type: Tesis doctoral

This item appears in the following Collection(s)

Show full item record