Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method

• Raúl López Rueda ^[1] ; Santiago Escobar ^[1]
  1. [1] Universidad Politécnica de Valencia

     Universidad Politécnica de Valencia

     Valencia, España

     
• Localización: Actas de las VIII Jornadas Nacionales de Investigación en Ciberseguridad: Vigo, 21 a 23 de junio de 2023 / coord. por Yolanda Blanco Fernández, Manuel Fernández Veiga, Ana Fernández Vilas, José María de Fuentes García-Romero de Tejada, 2023, ISBN 978-84-8158-970-2, págs. 247-249
• Idioma: inglés
• Enlaces
  • Texto Completo Libro