| 16 | | L'esame consiste in una prova scritta e una prova di laboratorio: lo studente esaminando deve superare entrambe le prove, ma il voto finale sarà ottenuto considerando per il 75% il risultato della prova scritta e per il restante 25% il risultato della prova di laboratorio. |
| 17 | | |
| 18 | | Nella prova scritta occorrerà rispondere a domande e svolgere esercizi sul programma trattato a lezione e gli approfondimenti indicati. |
| 19 | | |
| 20 | | Nella prova in laboratorio verrà proposto un esercizio che deve essere risolto aiutandosi con gli strumenti trattati durante il corso: |
| 21 | | - tool di base: `netstat`, `iproute`, `nc`, `nmap` |
| 22 | | - analisi del traffico: `tcpdump`, `wireshark` |
| 23 | | - filtraggio: `iptables` |
| 24 | | |
| 25 | | [wiki:Programma] (Con le differenze per l'esame da 6CFU e 12CFU) |
| 26 | | |
| 27 | | |
| 28 | | === Testi di riferimento === |
| 29 | | |
| 30 | | ''Security Engineering'' R. Anderson, Wiley 2008 [http://www.cl.cam.ac.uk/~rja14/book.html] |
| 31 | | |
| 32 | | ''The Tao of Network Security Monitoring - Beyond Intrusion Detection'', R. Bejtlich, Pearson Education Inc., 2004 |
| 33 | | [http://anobii.com/books/The_Tao_of_Network_Security_Monitoring/9780321246776/00dd7cee6c54fa8544/] |
| 34 | | |
| 35 | | ''Silence on the Wire. A Field Guide to Passive Reconnaissance and Indirect Attacks'', M. Zalewski, No Starch Press, 2005 [http://www.anobii.com/books/Silence_on_the_Wire/9781593270469/00efcc899e1ef61d2a/] |
| 36 | | |
| 37 | | Gli articoli indicati sotto come approfondimento dei singoli argomenti fanno parte integrante del programma e potranno quindi essere oggetto di valutazione in sede d'esame. (Per accedere alle digital library con gli abbonamenti d'ateneo occorre essere connessi alla rete unimi o configurare un proxy secondo le [http://www.sba.unimi.it/BibliotecaDigitale/2484.html#c2495 istruzioni del sistema bibliotecario]). |
| 38 | | |
| 39 | | [[PageOutline]] |
| 40 | | |
| 41 | | |
| 42 | | == Materiale 2014/2015 == |
| 43 | | |
| 44 | | * [https://www.google.com/calendar/embed?src=t4v21d3514spn4d6sogal7ls24%40group.calendar.google.com&ctz=Europe/Rome Calendario] [http://easystaff.divsi.unimi.it/EasyCourse//Orario/Dipartimento_di_Informatica_-_Crema/2015-2016/57/Curricula/SICUREZZADEISISTEMIEDELLERETIINFORMATICHE-CremaClasseL-31_triennale_3_Unico_F68.html Aule] |
| 45 | | |
| 46 | | === 1. 28 settembre 2015 #lez1 |
| 47 | | |
| 48 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti01.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti01-handout.pdf Slide, versione per la stampa] |
| 49 | | * [http://tools.ietf.org/rfc/rfc1135.txt Reynolds, The helminthiasis of the Internet] |
| 50 | | * [https://www4.symantec.com/mktginfo/whitepaper/ISTR/21347932_GA-internet-security-threat-report-volume-20-2015-social_v2.pdf Rapporto Symantec 2015] |
| 51 | | * [http://www.verizonenterprise.com/DBIR/2015/ Verizon Data Breach Investigation Report 2015] |
| 52 | | |
| 53 | | === 2. 29 settembre 2015 #lez2 |
| 54 | | |
| 55 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti02.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti02-handout.pdf Slide, versione per la stampa] |
| 56 | | * [http://portal.acm.org/ft_gateway.cfm?id=1999945&type=pdf Eric Allman, The Robustness Principle Reconsidered] |
| 57 | | |
| 58 | | === 3. 5 ottobre 2015 #lez3 |
| 59 | | |
| 60 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti03.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti03-handout.pdf Slide, versione per la stampa] |
| 61 | | |
| 62 | | |
| 63 | | ==== laboratorio #lab1 |
| 64 | | |
| 65 | | * [http://www.astro.up.pt/~sousasag/Python_For_Astronomers/Python_qr.pdf Python cheatsheet] [https://www.pythonanywhere.com/try-ipython/ Python online] |
| 66 | | * EsercizioPython |
| 67 | | |
| 68 | | === 4. 6 ottobre 2015 #lez4 |
| 69 | | |
| 70 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti04.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti04-handout.pdf Slide, versione per la stampa] |
| 71 | | * [https://www.cs.columbia.edu/~smb/papers/acsac-ipext.pdf Steven Bellovin, "A Look Back at 'Security Problems in the TCP/IP Protocol Suite'"] |
| 72 | | * [http://tools.ietf.org/rfc/rfc6528.txt RFC6528 Defending Against Sequence Number Attacks] |
| 73 | | |
| 74 | | === 5. 12 ottobre 2015 #lez5 |
| 75 | | |
| 76 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti05.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti05-handout.pdf Slide, versione per la stampa] |
| 77 | | |
| 78 | | ==== laboratorio #lab2 |
| 79 | | |
| 80 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/MobaXterm_v8.2.zip MobaXTerm] |
| 81 | | * EsercizioPythonShadow |
| 82 | | |
| 83 | | |
| 84 | | === 6. 13 ottobre 2015 #lez6 |
| 85 | | |
| 86 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti06.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti06-handout.pdf Slide, versione per la stampa] |
| 87 | | * [http://googleonlinesecurity.blogspot.it/2013/01/enhancing-digital-certificate-security.html Problemi con i certificati] |
| 88 | | * [http://www.educatedguesswork.org/2012/07/problems_with_secure_upgrade_t.html Negoziazioni al "ribasso"] |
| 89 | | |
| 90 | | === 7. 19 ottobre 2015 #lez7 |
| 91 | | |
| 92 | | |
| 93 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti07.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti07-handout.pdf Slide, versione per la stampa] |
| 94 | | |
| 95 | | ==== laboratorio #lab3 |
| 96 | | |
| 97 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti.iso 315MB sicureti.iso MD5:413fde7f64a52b659f59b1fdb7e4076e Live CD release: @ Mon Oct 19 17:29:01 2015 +0200 47d9adc @] |
| 98 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/lab03.pdf Appunti] |
| 99 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/qemu-win.zip Qemu per Windows] |
| 100 | | |
| 101 | | === 8. 20 ottobre 2015 #lez8 |
| 102 | | |
| 103 | | |
| 104 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti08.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti08-handout.pdf Slide, versione per la stampa] |
| 105 | | |
| 106 | | === 9. 26 ottobre 2015 #lez9 |
| 107 | | |
| 108 | | |
| 109 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti09.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti09-handout.pdf Slide, versione per la stampa] |
| 110 | | |
| 111 | | === 10. 27 ottobre 2015 #lez10 |
| 112 | | |
| 113 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti10.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti10-handout.pdf Slide, versione per la stampa] |
| 114 | | * [http://10kstudents.eu/ Teaching Ten Thousand University Students the basic concepts of software vulnerabilities] |
| 115 | | |
| 116 | | === 11. 9 novembre 2015 #lez11 |
| 117 | | |
| 118 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti11.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti11-handout.pdf Slide, versione per la stampa] |
| 119 | | |
| 120 | | |
| 121 | | ==== Laboratorio |
| 122 | | |
| 123 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti.iso 315MB sicureti.iso MD5:413fde7f64a52b659f59b1fdb7e4076e Live CD release: @ Mon Oct 19 17:29:01 2015 +0200 47d9adc @] (Aggiornato) |
| 124 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/bo.c codice sorgente programma vulnerabile] |
| 125 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/bo programma vulnerabile] |
| 126 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/lab-bo.pdf Appunti] |
| 127 | | |
| 128 | | |
| 129 | | === 12. 10 novembre 2015 #lez12 |
| 130 | | |
| 131 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti12.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti12-handout.pdf Slide, versione per la stampa] |
| 132 | | |
| 133 | | |
| 134 | | |
| 135 | | === 13. 16 novembre 2015 #lez13 |
| 136 | | |
| 137 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti13.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti13-handout.pdf Slide, versione per la stampa] |
| 138 | | |
| 139 | | |
| 140 | | ==== Laboratorio |
| 141 | | |
| 142 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/wireshark.zip Wireshark Portable per Windows] |
| 143 | | |
| 144 | | === 14. 17 novembre 2015 #lez14 |
| 145 | | |
| 146 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti14.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti14-handout.pdf Slide, versione per la stampa] |
| 147 | | |
| 148 | | === 15. 23 novembre 2015 #lez15 |
| 149 | | |
| 150 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti15.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti15-handout.pdf Slide, versione per la stampa] |
| 151 | | * [http://arstechnica.com/security/2015/07/hacking-team-orchestrated-brazen-bgp-hack-to-hijack-ips-it-didnt-own/ Un attacco a BGP che ci riguarda da vicino] |
| 152 | | |
| 153 | | ==== Laboratorio |
| 154 | | |
| 155 | | * EsercizioWireshark [http://homes.di.unimi.it/~sisop/lucidi1516/evidence.pcap Traffico] |
| 156 | | |
| 157 | | === 16. 24 novembre 2015 #lez16 |
| 158 | | |
| 159 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti16.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti16-handout.pdf Slide, versione per la stampa] |
| 160 | | |
| 161 | | === 17. 30 novembre 2015 #lez17 |
| 162 | | |
| 163 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti17.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti17-handout.pdf Slide, versione per la stampa] |
| 164 | | |
| 165 | | ==== Laboratorio |
| 166 | | |
| 167 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/lab06.pdf Appunti iptables] |
| 168 | | |
| 169 | | |
| 170 | | === 18. 1 dicembre 2015 #lez18 |
| 171 | | |
| 172 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti18.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti18-handout.pdf Slide, versione per la stampa] |
| 173 | | * [http://dx.doi.org/10.1145/1283920.1283940 K. Thompson, Reflections on trusting trust] |
| 174 | | * [http://scholarship.law.gwu.edu/cgi/viewcontent.cgi?article=1159&context=faculty_publications D.J. Solove, I've Got Nothing to Hide' and Other Misunderstandings of Privacy] |
| 175 | | |
| 176 | | === 19. 14 dicembre 2015 #lez19 |
| 177 | | |
| 178 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti19.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti19-handout.pdf Slide, versione per la stampa] |
| 179 | | |
| 180 | | === Seminari 15 dicembre 2015 #seminari |
| 181 | | |
| 182 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/android.pdf prof. Carlo Bellettini, Sicurezza nei sistemi Android] |
| 183 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/gt.pdf dr. Nicola Basilico, Sicurezza e teoria dei giochi] |
| 184 | | |
| 185 | | === 21. 18 dicembre 2015 #lez20 |
| 186 | | |
| 187 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti20.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti20-handout.pdf Slide, versione per la stampa] |
| 188 | | * [http://queue.acm.org/detail.cfm?id=2673311 Arnbak et al., Security Collapse in the HTTPS market] |
| 189 | | * [https://letsencrypt.org/howitworks/technology/ Let's Encrypt] |
| 190 | | |
| 191 | | === 22. 21 dicembre 2015 #lez21 |
| 192 | | |
| 193 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti21.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti21-handout.pdf Slide, versione per la stampa] |
| 194 | | * [http://www.nytimes.com/2013/03/10/magazine/the-professor-the-bikini-model-and-the-suitcase-full-of-trouble.html M. Swann, The Professor, the Bikini Model and the Suitcase Full of Trouble] |
| 195 | | |
| 196 | | ==== Laboratorio |
| 197 | | |
| 198 | | |
| 199 | | * [http://homes.di.unimi.it/~sisop/lucidi1415/http.pdf Tema d'esame] [http://homes.di.unimi.it/~sisop/lucidi1415/http.pcap Traffico] |
| 200 | | * [http://homes.di.unimi.it/~sisop/lucidi1415/telnet.pdf Tema d'esame] [http://homes.di.unimi.it/~sisop/lucidi1415/telnet.pcap Traffico] |
| 201 | | |
| 202 | | |
| 203 | | === 23. 22 dicembre 2015 #lez22 |
| 204 | | |
| 205 | | * [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti22.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1516/sicureti22-handout.pdf Slide, versione per la stampa] |
| 206 | | * [https://www.andrew.cmu.edu/user/nicolasc/publications/Christin-WWW13.pdf Christin, Traveling the Silk Road] |
| 207 | | |
| 208 | | === Simulazione d'esame 11 gennaio 2015 #provaesame |
| | 15 | Dall'anno accademico 2016/17 il materiale si trova su [http://ariel.unimi.it/ Ariel] |