D2b

Antonio LioyMarco Vallini

Politecnico di TorinoDip. Automatica e Informatica

(Sestriere, 21-23 Gennaio 2015)

WP2 - Partners

• POLITO• UNIFI• CNR Pisa• UNINA• CIS-UNIROMA

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!