Upload
nicodemo-simoni
View
213
Download
1
Tags:
Embed Size (px)
Citation preview
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!