Qué sabemos
Este artículo aborda la síntesis de estrategias de engaño activo en redes mediante juegos entre dos jugadores con información asimétrica y objetivos en lógica temporal, incorporando sistemas señuelo y honeypots de alta fidelidad. Los autores utilizan el marco de hipertjuegos de nivel 2 para modelar la percepción incompleta del atacante y evaluar si el defensor puede garantizar propiedades de seguridad.
Límites de la evidencia
Esta entrada se basa únicamente en el título y el resumen disponibles públicamente; no se ha revisado el texto completo ni se ha replicado o validado de forma independiente la efectividad de los métodos propuestos.
Se analizó: abstract del autor. No se analizaron los resultados del texto completo.
Fuentes y trazabilidad
- Secure-by-synthesis network with active deception and temporal logic specifications
abstract · 2026-10-04
Revisado: 2026-10-04. La ficha puede actualizarse cuando aparezca nueva evidencia.