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

WP2 - Partners POLITO UNIFI CNR Pisa UNINA CIS-UNIROMA

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 »

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)

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) – …

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

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

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

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

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

Domande? Grazie per l’attenzione!