SMSI: Modellazione Automatica delle Minacce per Sistemi Cyber-Fisici

SMSI, o System Model Security Inference, è un sistema neuro-simbolico ibrido all'avanguardia volto a migliorare la modellazione delle minacce per i sistemi cyber-fisici. Inizia con un modello architetturale SysML e produce una lista classificata di controlli di sicurezza NIST 800-53. Il processo si articola in tre fasi: prima, un parser deterministico abbina i componenti del sistema alle vulnerabilità utilizzando NVD; secondo, modelli di recupero e classificazione collegano queste vulnerabilità alle tecniche MITRE ATT&CK; terzo, un raccomandatore di controlli offre soluzioni. Sono stati testati tre diversi metodi per collegare CVE ad ATT&CK, tra cui un classificatore supervisionato con SecureBERT+, encoder basati su recupero e un approccio LLM zero-shot utilizzando Gemma-4 26B. I test sono stati condotti su un gateway IoT sanitario con nove componenti software, mostrando che SecureBERT preaddestrato ha ottenuto i migliori risultati nel recupero dei controlli per la mappatura ATT&CK-to-NIST.