Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method
-
Raúl López Rueda [1] ; Santiago Escobar [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
¿Es nuevo? Regístrese
Ventajas de registrarse
