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/node/1962' 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/node/1962' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Formal methods for security analysis of ICT systems | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

Formal methods for security analysis of ICT systems

This line of research includes the design and the development of models, methodologies and tools for the analysis, verification, and simulation of the security and trust properties of complex communication environments, with particular emphasis to the Future Internet scenario.  The high dynamicity and variety of ICT distributed systems, as well as their inter-dependencies and the multiplicity of the possible application scenarios, quest the need for security tools able to discover possible threats and risks, starting from the very design phase. When it is  not possible to predict misbehavior in a complex system, the goal is to discover the attacks, and then re-designing the structure of the analysis target. 

01-2015

Tematiche di ricerca: Trustworthy and Secure Future Internet

Progetti
Seminari, Corsi, Scuole
Congressi e Eventi
Visite guidate ai laboratori
    Menu principale
    Informativa
    Il sito utilizza cookie per offrire un servizio migliore.
    Proseguendo la navigazione accetti di riceverli.

    Maggiori Informazioni