LogiC-Diff: Embedding Security Properties Into AI-Enabled Cyber-Physical Systems

arXiv cs.CR · 1 oct, 06:00

LogiC-Diff es un marco de difusión condicionado por lógica que integra especificaciones de Temporal Signal Logic (STL) en sistemas ciber-físicos habilitados por IA para hacer cumplir propiedades de seguridad durante la inferencia. El enfoque mitiga perturbaciones adversariales y comportamientos anómalos en sistemas críticos, combinando reparación de entrada y refinamiento de salida. Se evalúa sobre conjuntos de datos reales bajo diversos ataques a sensores físicos y vectores ciber.