Nel mondo moderno uno dei problemi emergenti più importanti è l’automatizzazione della sicurezza nelle reti. Diverse tecnologie sono state sviluppate con l’intento di semplificare tutti i processi di sicurezza all'interno delle aziende. In questo ambito due delle scoperte più signficative sono state le tecnologie denominate Network Function Virtualization (NFV) e Software Defined Network (SDN). Attraverso queste è possibile definire delle reti dentro le quali alcuni nodi non sono definiti da un hardware specifico ma vengono virtualizzati, permettendo di svolgere delle funzioni tramite l’ausilio di software. All’interno di questo ambiente è stato progettato VEREFOO(VErified REFinement and Optimized Orchestration) un framework capace di allocare e configurare automaticamente Network Security Functions (NSF) per soddisfare dei requisiti di sicurezza definiti in input dall’utente.