Qué sabemos
Este artículo aborda cómo los intrusos pueden explotar canales laterales de tiempo para distinguir si un sistema es un honeypot o un sistema real, lo que podría ayudarles a evadir mecanismos de defensa. Los autores introducen una nueva definición de equivalencia observacional temporizada que utiliza restricciones de tiempo simbólicas, permitiendo su automatización mediante solucionadores SMT.
Límites de la evidencia
Esta entrada se basa únicamente en el título y resumen disponibles; no se ha revisado el texto completo ni se ha verificado de forma independiente la automatización o eficacia del método propuesto.
Se analizó: abstract del autor. No se analizaron los resultados del texto completo.
Fuentes y trazabilidad
- Symbolic Timed Observational Equivalence
abstract · 2026-10-04
Revisado: 2026-10-04. La ficha puede actualizarse cuando aparezca nueva evidencia.