Gli Intrusion Detection Systems (IDS) sono dispositivi, hardware o software, il cui obiettivo è la rilevazione di intrusioni all'interno di computer o reti locali. Sono strumenti che, uniti ad altri dispositivi come i firewall, aiutano a garantire un livello di sicurezza alto all'interno di un sistema. Per poterli utilizzare al meglio, in modo da prevenire attacchi informatici e intrusioni, è necessario studiarne e analizzarne le proprietà, le configurazioni e il funzionamento. Obiettivo di questa tesi è introdurre un'analisi degli Intrusion Detection Systems in modo che la gestione di questi possa essere, in futuro, implementata all'interno del framework VEREFOO (VErified REFinement and Optimized Orchestrator), che ha come fine quello di automatizzare la configurazione e l'allocazione dei dispositivi di sicurezza in una rete.