Debido al alto tráfico generado por robots, estamos aplicando limitaciones en el número de peticiones permitidas por cliente y bloqueos por IP automáticos. Si haces un uso legítimo y estás teniendo problemas, avísanos para reevaluar nuestras políticas de bloqueo. Disculpa las molestias.

Resumen:
An Efficient Canonical Narrowing Implementation for Protocol Analysis

Archivos

11705-PROLE-2022-011.pdf (136.7 KB)

Fecha

Autores

López Rueda, Raúl

Escobar, Santiago

Meseguer, José

Editor

Sistedes

Publicado en

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

Licencia Creative Commons

CC BY-NC-ND 4.0

CC BY-NC-ND 4.0

Resumen

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

Palabras clave

Canonical Narrowing, Maude, Narrowing Modulo, Reachability Analysis, Security Protocols

Enlace permanente

https://hdl.handle.net/11705/PROLE/2022/011

Colecciones

PROLE 2022 (Santiago de Compostela) • Reescritura de términos y Narrowing

Citación

Texto plano BibTeX

López Rueda, R., Escobar, S., Meseguer, J.: An Efficient Canonical Narrowing Implementation for Protocol Analysis. In: Julián Iranzo, P. (ed.) Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022). Sistedes (2022). https://hdl.handle.net/11705/PROLE/2022/011

Página completa del ítem

Notificar un error en este resumen