1. Methodologies and techniques for protecting Critical Infrastructures (D2b) Antonio Lioy Marco Vallini Politecnico di Torino Dip. Automatica e Informatica (Cortina d’Ampezzo, 21-22 Gennaio 2016)

2. WP2 - Partners POLITO UNIFI CNR Pisa UNINA CIS-UNIROMA

3. D2b - Risultati aggiornamento metodologie proposte completare metodologie di interdipendenza

4. D2b – ToC (1) Introduction – objectives: improvements, interdependency model in power-grid systems Integration of stochastic formalisms to support design decisions (UNIFI) – different stochastic formalisms in a single framework for the modeling, validation, and optimization of production and supply problems

5. D2b – ToC (2) Methodologies and techniques for security analysis (CNR Pisa, UNIFI, POLITO, CIS- UNIROMA) – Ranking of quantitative controlling strategies via Threat Analysis – Detecting unauthorized network traffic by using reachability analysis – An on-line correlation engine for network anomaly detection

6. D2b – ToC (3) Methodologies and techniques for software fault mitigation (UNINA) – analyze software defects that affect complex software systems for improving software reliability Domain specific methodology: a modelling approach to analyse resilience in electrical distribution grids (CNR Pisa) – describe a stochastic modelling framework to analyse interdependencies in Electric Power Systems, focusing on the transmission grid segment

7. Grazie! Grazie a tutti per la collaborazione

8. Domande? Grazie per l’attenzione!