- -

An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis

Mostrar el registro completo del ítem

López-Rueda, R.; Escobar Román, S.; Sapiña-Sanchis, J. (2023). An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis. Journal of Logical and Algebraic Methods in Programming. 135. https://doi.org/10.1016/j.jlamp.2023.100895

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/205130

Ficheros en el ítem

Thumbnail
Nombre: Lopez-RuedaEscoba ...
Tamaño: 720.5Kb
Formato: PDF
Descripción: Versión editorial
Abrir/Preview

Metadatos del ítem

Título: An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis
Autor: López-Rueda, Raúl Escobar Román, Santiago Sapiña-Sanchis, Julia
Entidad UPV: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Fecha difusión:
Resumen:
[EN] Narrowing and unification are very useful tools for symbolic analysis of rewrite theories, and thus for any model that can be specified in that way. A very clear example of their application is the field of formal ...[+]
Palabras clave: Narrowing , SMTsolver , Maude , Security protocols , Symbolic analysis
Derechos de uso: Reconocimiento (by)
Fuente:
Journal of Logical and Algebraic Methods in Programming. (issn: 2352-2208 )
DOI: 10.1016/j.jlamp.2023.100895
Editorial:
Elsevier
Versión del editor: https://doi.org/10.1016/j.jlamp.2023.100895
Código del Proyecto:
info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2021-2023/PID2021-122830OB-C42/ES/METODOS FORMALES ESCALABLES PARA APLICACIONES REALES/
info:eu-repo/grantAgreement/EC/H2020/952215/EU/Integrating Reasoning, Learning and Optimization/
info:eu-repo/grantAgreement/GENERALITAT VALENCIANA//CIPROM%2F2022%2F6//TECNOLOGIAS DE APRENDIZAJE Y RAZONAMIENTO RAPIDO Y LENTO/
info:eu-repo/grantAgreement/AEI//PCI2020-120708-2//FORMAL ANALYSIS AND VERIFICATION OF POST-QUANTUM CRYPTOGRAPHIC PROTOCOLS/
info:eu-repo/grantAgreement/UPV//FPI-2022-S2-49802/
Agradecimientos:
This work has been partially supported by the EC H2020-EU grant agreement No. 952215 (TAILOR) , by the grant PID2021-122830OB-C42 funded by MCIN/AEI/10.13039/501100011033 and ERDF A way of making Europe, by the grant ...[+]
Tipo: Artículo

recommendations

 

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

Mostrar el registro completo del ítem