L'Ottimizzazione per Colonia di Formiche (ACO) è una metaeuristica ispirata al modo in cui le formiche trovano percorsi efficienti. Nel software, esplora molte soluzioni candidate e favorisce gradualmente quelle che rendono meglio, rendendola utile per problemi difficili di pianificazione, routing e allocazione delle risorse in cui l'ottimizzazione esatta è troppo lenta o impraticabile. Nella produzione, ACO può aiutare a rielaborare i piani di produzione, sequenziare i lavori o instradare i materiali quando le condizioni cambiano.
Nella sicurezza informatica, ACO è importante perché la logica di ottimizzazione può diventare parte del piano di controllo. Gli aggressori possono prendere di mira gli input che guidano la riottimizzazione, come la telemetria, i vincoli o le priorità, per spingere i sistemi verso decisioni inefficienti o non sicure. I difensori usano ACO nei flussi di lavoro di pianificazione e resilienza, ma hanno bisogno di una convalida robusta, controllo degli accessi e registri di audit, così che le modifiche possano essere spiegate e annullate. Un'implementazione sicura di ACO dovrebbe trattare le fonti dei dati e delle policy come risorse fidate, non solo come parametri di regolazione.