D2b Antonio Lioy Marco Vallini Politecnico di Torino Dip. Automatica e Informatica (Sestriere, 21-23 Gennaio 2015)

Presentazione sul tema: "D2b Antonio Lioy Marco Vallini Politecnico di Torino Dip. Automatica e Informatica (Sestriere, 21-23 Gennaio 2015)"— Transcript della presentazione:

1 D2b Antonio Lioy Marco Vallini Politecnico di Torino Dip. Automatica e Informatica (Sestriere, 21-23 Gennaio 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 – proposta: fondere metodologie simili a IC diverse completare metodologie di interdipendenza – proposta1: aggiungere avanzamenti nel settore power-grids (es. fonti energia rinnovabili) – proposta2: astrarre modello interdipendenze per applicarlo ad altre IC (approccio ad alto livello)

5 D2b – Organizzazione partendo da ToC D2a identificare – metodologie generalizzabili – metodologie simili/comuni da fondere definizione ToC per D2b (Sestriere) definizione action point – richiesta contributi partner (es. entro fine Aprile) – prima versione D2b e feedback verso partner (es. entro Maggio) – seconda versione D2b (meeting di Giugno) – …

6 D2b – Generalizzazioni e fusioni Modeling systems of systems: – introduzione alla modellazione IC Multi-stage vulnerability analysis e Multi-step attack analysis by intrusion detection: – applicabili a diverse IC / possibile fusione Software fault mitigations (cap. 5 D2a): – applicabili a diverse IC / parziale fusione

7 D2b – ToC (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

8 D2b – ToC (2) merge/generalization of methodologies and techniques for security analysis: – generalization/improvements of quantitative controlling strategies – generalization/improvements of reachability analysis to detect unauthorized network traffic – merge of multi-stage vulnerability analysis and multi-stage analysis by intrusion detection

9 D2b – ToC (3) merge/improvements of methodologies and techniques for software fault mitigations – state-driven testing of distributes sw systems – prediction of sofware defects in large-scale sw – improving logging mechanisms of complex sw systems

10 D2b – ToC (4) interdependency model in power-grids – power-grids as example of interdependency – improvements on interdependency model – from power-grids to …

11 Domande? Grazie per l’attenzione!