D2b Antonio Lioy Marco Vallini Politecnico di Torino Dip. Automatica e Informatica (Pisa, 10-12 Giugno 2015)

Presentazione sul tema: "D2b Antonio Lioy Marco Vallini Politecnico di Torino Dip. Automatica e Informatica (Pisa, 10-12 Giugno 2015)"— Transcript della presentazione:

1 D2b Antonio Lioy Marco Vallini Politecnico di Torino Dip. Automatica e Informatica (Pisa, 10-12 Giugno 2015)

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

3 Introduzione « the final version of D2 (D2b) will encompass also the generic methodology with security issues common to all the considered CIs and the complete task about interdependency models »

4 D2b - Obiettivi generalizzare metodologie di D2a – fondere metodologie simili a IC diverse aggiornamento metodologie proposte completare metodologie di interdipendenza – aggiungere avanzamenti nel settore power-grids

5 D2b – ToC (1) Chapter 1 - Introduction – objectives: generic methodology (merging similar methodologies, improvements), interdependency models – modeling systems of systems: approaches, languages described into D2a suitable for more general modelization

6 D2b – ToC (2) Chapter 2 - Modeling System of Systems: – Dependability analysis of large-scale complex systems (improvements) Chapter 3 - Methodologies and techniques for security analysis: – Multi-stage vulnerability analysis (improvements) – Integration of Stochastic Formalisms to Support Security Decisions (improvements) – Detect attacks by using IDS and reachability analysis (new: integration of two different approaches)

7 D2b – ToC (3) Chapter 4 - Methodologies and techniques for defect prediction – bug analysis (improvements) Chapter 5 - Domain specific methodologies – interdependency model/methodology in power- grids (improvements) – Other? Chapter 6 - Conclusions

8 Action points Versione draft D2b entro luglio 2015 Versione finale D2b entro il meeting di settembre 2015

9 Domande? Grazie per l’attenzione!