D2b
Antonio Lioy
Marco Vallini
Politecnico di Torino
Dip. 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!