- -

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

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

Compartir/Enviar a

Citas

Estadísticas

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

Mostrar el registro completo del ítem

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

Ficheros en el ítem

Metadatos del ítem

Título: Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA
Autor:
Director(es): Escobar Román, Santiago
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha acto/lectura:
2015-01-23
Fecha difusión:
Resumen:
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 ...[+]
Palabras clave: 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
Derechos de uso: Reserva de todos los derechos
DOI: 10.4995/Thesis/10251/48527
Tipo: Tesis doctoral

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

Mostrar el registro completo del ítem