Dependability and security modeling for CIP CISSilvia BonomiAntonella Del Pozzo CNRFelicita Di Giandomenico POLIMI POLITO UNIFILeonardo MontecchiPaolo Lollini UNINADomenico CotroneoAntonio Pecchia UNIPARTHENOPESalvatore D'AntonioAlessia GarofaloLuigi 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, Ottobre 2013)
Sommario delle tematiche di collaborazione da investigare Integrazione di model-based assessment con assessment sperimentale/data log analysis con lobiettivo 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 TematicheShort 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 DAntonio) 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 delladattività on-line