Questa attività di ricerca riguarda lo studio, il progetto e lo sviluppo di modelli, metodologie e strumenti software per l’analisi, la validazione, la verifica e la simulazione di aspetti di sicurezza, fiducia e riservatezza in sistemi complessi, siano essi sistemi ICT distribuiti o infrastrutture critiche, con particolare riferimento a scenari di Future internet. La notevole dinamicità e varietà dei sistemi ICT, le loro interdipendenze e la mutabilità degli scenari di applicazione richiedono una serie di strumenti per predire eventuali problematiche di sicurezza ed affidabilità e porvi rimedio già in fase di progettazione. Ove questo non sia possibile, allora potrebbe rendersi necessario definire alcune possibili modifiche che rendano il sistema resistente agli attacchi.