Safety Graph: When Safety Responses Become Attack Surfaces in Cyber-Physical Systems

arXiv cs.CR · 12 oct, 06:00

Safety Graph es un marco formal que integra grafos de ataques, árboles de fallos y árboles de eventos para modelar cómo las respuestas de seguridad en sistemas de control industrial (ICS) pueden abrir nuevas superficies de ataque. Los investigadores utilizan compilación a problemas de planificación clásica y búsqueda A* para descubrir movimientos laterales inducidos por respuestas de seguridad en simulaciones del proceso químico Tennessee Eastman, identificando barreras de contención que los modelos existentes no pueden detectar.