Dependability and security modeling for CIP

CIS Silvia Bonomi Antonella Del PozzoCNR Felicita Di Giandomenico    

POLIMI      POLITO      

UNIFI Leonardo Montecchi Paolo Lollini  UNINA Domenico Cotroneo Antonio Pecchia

UNIPARTHENOPE Salvatore D'Antonio Alessia Garofalo Luigi Romano UNIPI      

UNIRC      UNITN      

Temi Puntuali proposti(i) Combined use of direct measurements and analytical modelling for CI dependability evaluation (UniParthenope), (ii) Model generation for the evaluation of large-scale evolving systems (UniFi), (iii) Combining models and experiments to improve dependability and security evaluation (UniFi)

Tavolo “Dependability and security modeling for CIP”Unità partecipanti e tematiche selezionate per questo tavolo(Roma, 23-24 Ottobre 2013)

Sommario delle tematiche di collaborazione da investigare

• Integrazione di model-based assessment con assessment sperimentale/data log analysis con l’obiettivo di:– Identificare e sfruttare le sinergie – Cross-validation degli approcci

• Analisi quantitativa di security/attacks mediante un approccio model-based

• Model-based analysis a supporto della progettazione di soluzioni architetturali e tuning di algoritmi, off-line e (parzialmente) on-line

Griglia temi/unità interessate e previsioni per lo sviluppo della cooperazione

Tematiche Short term (1 anno) Long term (TENACE)

Integrazione di assessment via model-based con assessment sperimentale/data log analysis

UNIPARTHENOPE-CNR• Dati sperimentali electrical

transmission grid e modelli electrical transmission grid

(Leader: Salvatore D’Antonio)

UNIPARTHENOPE-UNINA-UNIFI-CNR• Dati sperimentali di

vulnerabilità/attacchi da utlizzare in modelli di attacchi

Analisi quantitativa di security/attacks via model-based approach

UNINA-UNIFI• Modelli di attacco – identificare

infrastrutture di riferimento e famiglie di attacchi

(Leader: Leonardo Montecchi)

UNINA-CNR-UNIPARTHENOPE• Modelli di attacco a supporto di

strategie di monitoring e all'identificazione di contromisure

Model-based analysis a supporto della progettazione

CIS-UNIFI-CNR• Modellazione a supporto del

design/tuning• Modellazione a supporto

dell’adattività on-line