Navegación

Búsqueda

Búsqueda avanzada

An Efficient Canonical Narrowing Implementation for Protocol Analysis

(Artículo ya publicado)

Resumen:

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

Palabras Clave:

Canonical narrowing - Maude - Narrowing modulo - Reachability analysis - Security Protocols

Autor(es):

Handle:

11705/PROLE/2022/011

Descargas:

Acceso a los detalles haciendo click aquí.