Resumen:
An Efficient Canonical Narrowing Implementation for Protocol Analysis

Fecha

2022-09-05

Editor

Sistedes

Publicado en

Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022)

Licencia Creative Commons

Resumen

14th International Workshop on Rewriting Logic and its Applications (WRLA 2022)

Descripción

Acerca de López Rueda, Raúl

Palabras clave

Canonical Narrowing, Maude, Narrowing Modulo, Reachability Analysis, Security Protocols
Página completa del ítem
Notificar un error en este resumen
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX