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/31739' 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/31739' in /dati/webiit-old/includes/database.pgsql.inc on line 159 PRIN Security Horizons | IIT - CNR - Istituto di Informatica e Telematica
IIT Home Page CNR Home Page

PRIN Security Horizons

Tipo: Progetto nazionale

Commessa:
Trustworthy and Secure Future Internet

Il nostro progetto tende a sviluppare una metodologia rigorosa e un framework linguistico per fornire metodi formali a sostegno di chi progetta, implementa e mantiene sistemi software sicuri, in tutte le fasi di sviluppo del software: specifica, progetto, realizzazione, validazione, incluse la verifica e il collaudo. A tal fine, studieremo modelli e linguaggi di specifica per descrivere formalmente i molteplici aspetti dei servizi on-line e delle infrastrutture che li ospitano. La metodologia cui miriamo si baserà su vari tipi di logica, sulla teoria dei giochi e sulla semantica formale dei linguaggi. Il nostro framework offrirà strumenti per analizzare il comportamento dei sistemi, in fase di progettazione e di esecuzione; per comporre sistemi in modo sicuro; per controllarne l'esecuzione; e per valutare/ridurre il rischio di eventuali malfunzionamenti. Gli strumenti esistenti, sviluppati nell'area dei linguaggi di programmazione e della sicurezza, non sono ancora all'altezza di questo compito, e vanno significativamente estesi per tener conto di tutte le implicazioni derivanti dalla natura distribuita degli ecosistemi e degli aspetti quantitative del loro comportamento che ne influenzano la fruibilità.

09-2017

Partecipanti:

Francesco Santini

Foto di Francesco Santini
Partecipanti Esterni: Silvano Chiaradonna (ISTI-CNR)
Dal 01/02/2013 al 31/03/2016