IIT Home Page CNR Home Page

Metodi formali per la sicurezza di sistemi ICT

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, quali i sistemi ICT distribuiti, 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. 
 
 

01-2015

Tematiche di ricerca: Trustworthy and Secure Future Internet

Progetti
Seminari, Corsi, Scuole
Congressi e Eventi
Visite guidate ai laboratori