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