1 / 13

Aggiornamento D2a

Aggiornamento D2a. Antonio Lioy ( lioy@polito.it ) Marco Vallini ( marco.vallini@polito.it) Politecnico di Torino Dip. Automatica e Informatica. (Ischia, 3-5 Giugno 2014). Agenda. Indice e stato di ogni capitolo Prossime scadenze Action point. Indice dei capitoli. Introduction

minh
Télécharger la présentation

Aggiornamento D2a

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Aggiornamento D2a Antonio Lioy ( lioy@polito.it ) Marco Vallini ( marco.vallini@polito.it) Politecnico di Torino Dip. Automatica e Informatica (Ischia, 3-5 Giugno 2014)

  2. Agenda • Indice e stato di ogni capitolo • Prossime scadenze • Action point

  3. Indice dei capitoli • Introduction • Attacks, threats and accidental faults • Modeling critical infrastructures • Methodologies and techniques for security analysis • Methodologies and techniques for fault reduction • Domain specific methodologies • Conclusions • Appendix • Bibliography

  4. Indice e stato dei capitoli (1) • Introduction: POLITO • obiettivi e contenuto del D2a • da scrivere per ultima • Attacks, threats and accidental faults: POLITO • riprende le problematichedescrittenelD1per domini • da scrivere prima di intro e dopoaltricapitoli

  5. Indice e stato dei capitoli (2) • Modeling critical infrastructures/complex systems/SoS (System of system): POLITO, CNR (Ilaria), UNIFI (Leonardo) • Modeling components, interactions, dependencies (legaretitolo ad aspettilegati al tipo di analisi): UNIFI (Leonardo) • SOTA sulinguaggi/framework esistenti • Model-driven? UML? • da scrivere • Modeling the behaviour of CIs (tipo security): POLITO • policy design, management, audit • modellitradizionalivsOrBAC e polyOrBAC • da revisionare • Models for data exchange within CI and between CIs: CNR (Ilaria) • data sharing agreement? • da scrivere • Dependability analysis of large-scale complex system (UNIFI -Leonardo): da revisionare • Supporting design decisions and fault removal during the operational life of a system by using analytical modeling UNIFI (Nicola, Leonardo), CNR (Felicita): sota, da scriverepartendo da articoli

  6. Indice e stato dei capitoli (3) • Methodologies and techniques for security analysis: UNIFI (Nicola), UNINA (?), CNR (Ilaria), POLITO • Security analysis techniques: CNR, UNIFI, UNINA • Quantitative controlling strategies: da revisionare • altro? • Multi-stage vulnerability analysis: POLITO • Mulval • in scrittura • Multi-step attack analysis by using intrusion detection systems and attack graph CIS-UNIROMA (Antonella Del Pozzo): • da revisionare

  7. Indice e stato dei capitoli (4) • Methodologies and techniques for fault reduction: UNINA (Antonio, Roberto N., Roberto P.) • Analysis and Prediction of Mandelbugs in Complex Software Systems UNINA (Roberto N., Roberto P.): • da scriveresintetizzandoarticolo • State-driven Testing of Distributed Software Systems UNINA (Roberto N.): • da scriveresintetizzandoarticolo • (Improving Logging Mechanisms of Complex Software Systems UNINA (Antonio, Roberto N.): • da scriveresintetizzandoarticolo): da verificare se piùadatto a WP3

  8. Indice e stato dei capitoli (5) • Domain specific methodologies: UNINA (Roberto N, Alessandro), UNIFI (Leonardo), POLITO, CNR (Felicita), CIS-UNIROMA (Ida, Roberto) • Transportation: UNINA, UNIFI, POLITO • (Model-Driven Engineering (MDE) approach for transportation domain UNIFI (Leonardo): opzionale, da scrivere) • Security-aware embedded software development for Railway system UNINA (Alessandro): da revisionare • vulnerability analysis in railway system, POLITO: da scrivere • State-Driven Testing of Distributed Systems, UNINA (Roberto N.): caso di studio ATC, da scriverepartendo da articoli • Power grids: CNR • Model-based framework for analyzing interdependencies in electric power systems: da scriverepartendo da articolo • Financial: CIS-UNIROMA • in attesa di contributi

  9. Indice e stato dei capitoli (6) • Conclusions: POLITO • da scrivereallafine • 8. Appendix: POLITO • contienelistadegliarticoliscientifici da cui provengono i contenutidellesezioni • 9. Bibliography

  10. Action point • [ALL] Per gliarticoliricevuticonviene fare unasintesi da inserireineicapitoli 5 e 6 (per dominio) • [CIS-UNIROMA] Inviarecontributi per dominio Financial • [POLITO] terminareparti di competenza per capitoli 5 e 6 • Inserire abstract degliarticoliscientifici in appendice

  11. Prossime scadenze • entro fine giugno: termineinviocontributicapitoli 3, 5, 6 • entro 20 luglio POLITO preparaunanuovaversione • inviaversionepreliminare al coordinatore • Abbozzareintroduzione e conclusioni • entro meeting di Tropea POLITO • nuovaversione con aggiornamenti • scrittura di introduzione, conclusioni

  12. NOTA • Considerareunavisione a framework • WP2 più ad alto livello

  13. Domande? Grazie per l’attenzione!

More Related