Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/attivita_ricerca/metodi-formali-sicurezza-sistemi-ict' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Warning: pg_query(): Query failed: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 in /dati/webiit-old/includes/database.pgsql.inc on line 138 Warning: ERROR: missing chunk number 0 for toast value 29512337 in pg_toast_2619 query: SELECT data, created, headers, expire, serialized FROM cache_page WHERE cid = 'https://www-old.iit.cnr.it/attivita_ricerca/metodi-formali-sicurezza-sistemi-ict' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Metodi formali per la sicurezza di sistemi ICT | IIT - CNR - Istituto di Informatica e Telematica
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