A Deterministic and Auditable AI Security Risk Assessment Framework with ATLAS Aligned Executable Rules and Formal Verification

arXiv cs.AI · 2 oct, 06:00

Investigadores presentan un framework determinista para evaluar la seguridad de sistemas de IA basado en artefactos observables y reglas formalmente verificadas alineadas con MITRE ATLAS. El enfoque reemplaza evaluaciones narrativas con una función de decisión reproducible que mapea evidencia técnica a resultados de seguridad auditables.