Tavolo “Dependability and
security modeling for CIP”
Unità partecipanti e tematiche selezionate
per questo tavolo
(Roma, 23-24 Ottobre 2013)
Dependability and security modeling for CIP
CIS
CNR
POLIMI
POLITO
UNIFI
UNINA
UNIPARTHENOPE
UNIPI
UNIRC
UNITN
Temi Puntuali proposti
Silvia Bonomi
Felicita Di Giandomenico
Antonella Del Pozzo
Leonardo Montecchi
Domenico Cotroneo
Salvatore D'Antonio
Paolo Lollini
Antonio Pecchia
Alessia Garofalo
Luigi Romano
(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)
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
UNIPARTHENOPE-UNINAUNIFI-CNR
Analisi quantitativa di
security/attacks via modelbased approach
UNINA-UNIFI
•
Dati sperimentali electrical
transmission grid e modelli
electrical transmission grid
•
(Leader: Salvatore D’Antonio)
•
Modelli di attacco – identificare
infrastrutture di riferimento e
famiglie di attacchi
UNINA-CNRUNIPARTHENOPE
•
(Leader: Leonardo Montecchi)
Model-based analysis a
supporto della
progettazione
Dati sperimentali di
vulnerabilità/attacchi da
utlizzare in modelli di
attacchi
Modelli di attacco a supporto di
strategie di monitoring e
all'identificazione di
contromisure
CIS-UNIFI-CNR
•
•
Modellazione a supporto del
design/tuning
Modellazione a supporto
dell’adattività on-line