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/en/research_fields/?q=en/taxonomy/term/160' 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/en/research_fields/?q=en/taxonomy/term/160' in /dati/webiit-old/includes/database.pgsql.inc on line 159 Critical infrastructures | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

Critical infrastructures

Research fields

Trustworthy and Secure Future Internet

Activities

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 commu

Public-Safety Communications

Self-organizing network technologies (MANET, mesh, vehicular, sensor and opportunistic networks ) enable  networks that can extend Internet services on-demand, building commu

People

Fabio Martinelli

Foto di Fabio Martinelli