Debido al alto tráfico generado por robots, aplicamos límites 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

Vista sencilla de ítem
bs.conference.acronymPROLE
bs.conference.nameJornadas sobre Programación y Lenguajes (PROLE)
bs.edition.date2022-09-05
bs.edition.locationSantiago de Compostela
bs.edition.nameXXI Jornadas de Programación y Lenguajes (PROLE 2022)
bs.proceedings.editorJulián Iranzo, P.
bs.proceedings.nameActas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022)
dc.contributor.affiliationUniversitat Politècnica de València, Spain
dc.contributor.affiliationUniversitat Politècnica de València, Spain
dc.contributor.affiliationUniversity of Illinois at Urbana-Champaign, United States
dc.contributor.authorLópez Rueda, Raúl
dc.contributor.authorEscobar, Santiago
dc.contributor.authorMeseguer, Jose
dc.contributor.emailrloprue@upv.es
dc.contributor.emailsescobar@upv.es
dc.contributor.emailmeseguer@cs.uiuc.edu
dc.contributor.signatureLópez Rueda, Raúl
dc.contributor.signatureEscobar, Santiago
dc.contributor.signatureMeseguer, Jose
dc.date.accessioned2022-09-05T00:00:00Z
dc.date.available2022-09-05T00:00:00Z
dc.date.issued2022-09-05
dc.description.abstract14th International Workshop on Rewriting Logic and its Applications (WRLA 2022)
dc.identifier.citationLó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
dc.identifier.citation-bibtex@inproceedings{11705:PROLE:2022:011, title = {{An Efficient Canonical Narrowing Implementation for Protocol Analysis}}, author = {L\'{o}pez Rueda, R. and Escobar, S. and Meseguer, J.}, url = {https://hdl.handle.net/11705/PROLE/2022/011}, crossref = {11705:PROLE:2022} } @proceedings{11705:PROLE:2022, title = {{Actas de las XXI Jornadas de Programaci\'{o}n y Lenguajes (PROLE 2022)}}, author = {Juli\'{a}n Iranzo, P.}, year = {2022}, publisher = {{Sistedes}}, }
dc.identifier.sistedes11705/PROLE/2022/011
dc.publisherSistedes
dc.relation.isformatofAlready published paper. See document contents for DOI.
dc.relation.ispartofActas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022)
dc.rights.licenseCC BY-NC-ND 4.0
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectCanonical Narrowing
dc.subjectMaude
dc.subjectNarrowing Modulo
dc.subjectReachability Analysis
dc.subjectSecurity Protocols
dc.titleAn Efficient Canonical Narrowing Implementation for Protocol Analysis
dspace.entity.typeResumen
relation.isAuthorOfAbstract9dc46b3f-bf30-4ad1-8fe5-e63bb267a4f9
relation.isAuthorOfAbstract5d8162c7-2c54-4bc3-b20d-e0c59449b779
relation.isAuthorOfAbstracta8aca467-bcde-44d9-8a61-a904cdc0a630
relation.isAuthorOfAbstract.latestForDiscovery9dc46b3f-bf30-4ad1-8fe5-e63bb267a4f9

Archivos

Bloque original

Mostrando 1 - 1 de 1
Miniatura
Nombre:
11705-PROLE-2022-011.pdf
Tamaño:
136.7 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Reescritura de términos y Narrowing