Alcune Basi Didattiche e Scientifiche Per La Sicurezza Informatica

Transcript

1 Alcune Basi Didattiche e Scientifiche Per La Sicurezza Informatica Antonio Carzaniga antonio.carzaniga@unisi.ch Facoltà di Scienze informatiche Università della Svizzera italiana 11 aprile 2006

2 Sicurezza Informatica

3 Sicurezza Informatica Esempio: privacy

4 Sicurezza Informatica Esempio: privacy Obiettivi/Politiche

5 Sicurezza Informatica Esempio: privacy Obiettivi/Politiche Nessun individuo potrà essere sottoposto ad interferenze arbitrarie nella sua vita privata [... ] nella sua corrispondenza...

6 Sicurezza Informatica Esempio: privacy Obiettivi/Politiche Nessun individuo potrà essere sottoposto ad interferenze arbitrarie nella sua vita privata [... ] nella sua corrispondenza... Art. 12. Dichiarazione Universale dei Diritti Umani

7 Sicurezza Informatica Esempio: privacy Obiettivi/Politiche

8 Sicurezza Informatica Esempio: privacy Obiettivi/Politiche Ognuno ha diritto al rispetto della sua vita privata [... ] della sua corrispondenza epistolare nonché delle sue relazioni via posta e telecomunicazioni.

9 Sicurezza Informatica Esempio: privacy Obiettivi/Politiche Ognuno ha diritto al rispetto della sua vita privata [... ] della sua corrispondenza epistolare nonché delle sue relazioni via posta e telecomunicazioni. Art. 13. Costituzione della Confederazione Svizzera

10 Sicurezza Informatica Esempio: privacy Obiettivi/Politiche Ognuno ha diritto al rispetto della sua vita privata [... ] della sua corrispondenza epistolare nonché delle sue relazioni via posta e telecomunicazioni. Art. 13. Costituzione della Confederazione Svizzera Matematica

11 Sicurezza Informatica Esempio: privacy Obiettivi/Politiche Ognuno ha diritto al rispetto della sua vita privata [... ] della sua corrispondenza epistolare nonché delle sue relazioni via posta e telecomunicazioni. Art. 13. Costituzione della Confederazione Svizzera Un block cipher E : {0, 1} k {0, 1} l {0, 1} l è (q, t, ε)-sicuro se Pr[K $ {0, 1} k ; A(E K ) = 1] Pr[f $ {{0, 1} l {0, 1} l }; A(f) = 1] ε Matematica per ogni algoritmo probabilistico A che gira in tempo t e fa al più q invocazioni dell oracolo

12 Sicurezza Informatica Esempio: privacy Obiettivi/Politiche Matematica

13 Sicurezza Informatica Esempio: privacy Obiettivi/Politiche Ingegneria della Sicurezza Informatica Matematica

14 Sicurezza dei Sistemi Informatici

15 Sicurezza dei Sistemi Informatici Protezione delle risorse informatiche privacy, controllo degli accessi, persistenza dei dati, ecc.

16 Sicurezza dei Sistemi Informatici Protezione delle risorse informatiche privacy, controllo degli accessi, persistenza dei dati, ecc. Safety evitare malfunzionamenti accidentali

17 Sicurezza dei Sistemi Informatici Protezione delle risorse informatiche privacy, controllo degli accessi, persistenza dei dati, ecc. Safety evitare malfunzionamenti accidentali Funzionalità corretta e controllata evitare abusi o usi non autorizzati

18 Sistemi Informatici

19 Sistemi Informatici Sistemi informatici sono sistemi complessi

20 Sistemi Informatici Sistemi informatici sono sistemi complessi Funzionalità complesse e numerose

21 Sistemi Informatici Sistemi informatici sono sistemi complessi Funzionalità complesse e numerose Interazioni con altri sistemi di varia natura altri sistemi informatici sistemi fisici persone e ambiente

22 Ingegneria di Sistemi Complessi

23 Ingegneria di Sistemi Complessi c Daniel Werner

24 Ingegneria della Sicurezza Informatica

25 Ingegneria della Sicurezza Informatica Sviluppo metodico di sistemi informatici

26 Ingegneria della Sicurezza Informatica Sviluppo metodico di sistemi informatici Enfasi sulla robustezza e affidabilità del software

27 Ingegneria della Sicurezza Informatica Sviluppo metodico di sistemi informatici Enfasi sulla robustezza e affidabilità del software Metodi ingegneristici di progetto

28 Ingegneria della Sicurezza Informatica Sviluppo metodico di sistemi informatici Enfasi sulla robustezza e affidabilità del software Metodi ingegneristici di progetto Comprensione dei rischi e uso appropriato delle tecnologie

29 Conoscenza di Metodi e Tecnologie

30 Conoscenza di Metodi e Tecnologie c Patrick Lutz

31 Sicurezza Informatica all USI

32 Sicurezza Informatica all USI Corsi fondamentali software design software engineering

33 Sicurezza Informatica all USI Corsi fondamentali software design software engineering computer networking net-centric computing fondamenti di sicurezza informatica

34 Sicurezza Informatica all USI Corsi fondamentali software design software engineering computer networking net-centric computing fondamenti di sicurezza informatica software atelier

35 Sicurezza Informatica all USI Corsi fondamentali software design software engineering computer networking net-centric computing fondamenti di sicurezza informatica software atelier Corsi avanzati e ricerca sistemi distribuiti affidabili verifica formale dei sistemi software

36 Sicurezza Informatica all USI Corsi fondamentali software design software engineering computer networking net-centric computing fondamenti di sicurezza informatica software atelier Corsi avanzati e ricerca sistemi distribuiti affidabili verifica formale dei sistemi software Esperienza: Communication and Computer Security Center (CCSC) [Prof. Wolf e Prof. Carzaniga] centro multidisciplinare: ingegneria del software, basi di dati, crittografia, sistemi, reti, telecomunicazioni e giurisprudenza

37 Sicurezza Informatica all USI (2)

38 Sicurezza Informatica all USI (2) Master in Embedded System Design presso ALaRI [Prof. Sami] progetti di ricerca sul tema della sicurezza informatica dal 2001 circa 5 nuovi lavori di tesi ogni anno in ingegneria del collaborazione con aziende operanti nei settori della sicurezza e sistemi embedded (e.g., Microsoft, MediaCrypt e STMicroelectronics)

39 Sicurezza Informatica all USI (2) Master in Embedded System Design presso ALaRI [Prof. Sami] progetti di ricerca sul tema della sicurezza informatica dal 2001 circa 5 nuovi lavori di tesi ogni anno in ingegneria del collaborazione con aziende operanti nei settori della sicurezza e sistemi embedded (e.g., Microsoft, MediaCrypt e STMicroelectronics) algoritmi di cifratura e autenticazione, ed in particolare sull efficienza e qualità nei protocolli sicuri di rete IP architettura system-on-chip (SoC) per IPSEC progetto e validazione di architetture hardware dedicate per l esecuzione di algoritmi di cifratura simmetrica e di hashing moduli hardware per AES, SHA-2, IDEA NXT valutazione e ottimizzazione delle prestazioni di algoritmi su sistemi embedded Intel StrongARM e microcontrollori Freescale

40 Formazione

41 Formazione c Julian Adams

42 Conclusioni

43 Conclusioni La sicurezza informatica non è diversa da tante discipline ingegneristiche

44 Conclusioni La sicurezza informatica non è diversa da tante discipline ingegneristiche Quindi bisona trattarla come tale

45 Conclusioni La sicurezza informatica non è diversa da tante discipline ingegneristiche Quindi bisona trattarla come tale utenti privati: capirla e valutarla come tale

46 Conclusioni La sicurezza informatica non è diversa da tante discipline ingegneristiche Quindi bisona trattarla come tale utenti privati: capirla e valutarla come tale utenti industriali e istituzionali: acquisirla e gestirla come tale

47 Conclusioni La sicurezza informatica non è diversa da tante discipline ingegneristiche Quindi bisona trattarla come tale utenti privati: capirla e valutarla come tale utenti industriali e istituzionali: acquisirla e gestirla come tale produttori e venditori: svilupparla e venderla come tale

48 Conclusioni La sicurezza informatica non è diversa da tante discipline ingegneristiche Quindi bisona trattarla come tale utenti privati: capirla e valutarla come tale utenti industriali e istituzionali: acquisirla e gestirla come tale produttori e venditori: svilupparla e venderla come tale istituzioni: regolarla come tale

49 Conclusioni La sicurezza informatica non è diversa da tante discipline ingegneristiche Quindi bisona trattarla come tale utenti privati: capirla e valutarla come tale utenti industriali e istituzionali: acquisirla e gestirla come tale produttori e venditori: svilupparla e venderla come tale istituzioni: regolarla come tale univertistà: studiarla e svilupparla come tale