= Sicurezza dei sistemi e delle reti = == Modalità d'esame == 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. Nella prova scritta occorrerà rispondere a domande e svolgere esercizi sul programma trattato a lezione e gli approfondimenti indicati. Nella prova in laboratorio verrà proposto un esercizio che deve essere risolto aiutandosi con gli strumenti trattati durante il corso: - tool di base: `netstat`, `iproute`, `nc`, `nmap` - analisi del traffico: `tcpdump`, `wireshark` - filtraggio: `iptables` [wiki:Programma] (Con le differenze per l'esame da 6CFU e 12CFU) === Testi di riferimento === ''Security Engineering'' R. Anderson, Wiley 2008 [http://www.cl.cam.ac.uk/~rja14/book.html] ''The Tao of Network Security Monitoring - Beyond Intrusion Detection'', R. Bejtlich, Pearson Education Inc., 2004 [http://anobii.com/books/The_Tao_of_Network_Security_Monitoring/9780321246776/00dd7cee6c54fa8544/] ''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/] 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]). [[PageOutline]] == Materiale 2014/2015 == * [https://www.google.com/calendar/embed?src=t4v21d3514spn4d6sogal7ls24%40group.calendar.google.com&ctz=Europe/Rome Calendario] === 1. 29 settembre === #lez01 * [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti01.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti01-handout.pdf Slide (versione per la stampa)] * [http://tools.ietf.org/rfc/rfc1135.txt ​The Helminthiasis of the Internet] * [http://www.symantec.com/security_response/publications/threatreport.jsp Symantec Threat Report] * [http://www.verizonenterprise.com/DBIR/2014/ Verizon Data Breach Investigations Report] === 2. 30 settembre === #lez02 * [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti02.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti02-handout.pdf Slide (versione per la stampa)] * [http://portal.acm.org/ft_gateway.cfm?id=1999945&type=pdf ​Eric Allman, The Robustness Principle Reconsidered] === 3. 6 ottobre === #lez03 * [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti03.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti03-handout.pdf Slide (versione per la stampa)] ==== Laboratorio ==== #lab01 * [https://docs.python.org/2/ Python] * [https://www.codebox.io/ Un ambiente cloud-based] [https://developers.google.com/edu/python/introduction Un tutorial] [http://www.astro.up.pt/~sousasag/Python_For_Astronomers/Python_qr.pdf Cheatsheet] * EsercizioPython === 4. 7 ottobre === #lez04 * [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti04.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti04-handout.pdf Slide (versione per la stampa)] * [https://www.cs.columbia.edu/~smb/papers/acsac-ipext.pdf ​Steven Bellovin "A Look Back at 'Security Problems in the TCP/IP Protocol Suite'"] * [http://tools.ietf.org/rfc/rfc6528.txt ​Defending Against Sequence Number Attacks] === 5. 13 ottobre === #lez05 * [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti05.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti05-handout.pdf Slide (versione per la stampa)] ==== Laboratorio ==== #lab02 * [http://homes.di.unimi.it/~sisop/lucidi1415/mininet-vm-x86_64.qcow Immagine QEmu (440MB SHA1 1a3c68fb14e4747df423431e3b3efbf69aa438d5)] [http://homes.di.unimi.it/~sisop/lucidi1415/qemu-mobax-win.zip Qemu e MobaXTerm per Windows (30MB SHA1 a6b4d4dcc7d4501b7b6db7fda0a4be13e91d8633)] * [http://homes.di.unimi.it/~sisop/lucidi1415/lab01.pdf Appunti] === 6. 14 ottobre === #lez06 * [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti06.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti06-handout.pdf Slide (versione per la stampa)] * [http://googleonlinesecurity.blogspot.it/2013/01/enhancing-digital-certificate-security.html Problemi con i certificati] * [http://www.educatedguesswork.org/2012/07/problems_with_secure_upgrade_t.html Negoziazioni al "ribasso"] * [http://nakedsecurity.sophos.com/2014/02/24/anatomy-of-a-goto-fail-apples-ssl-bug-explained-plus-an-unofficial-patch/ Un bug molto recente] * [http://tcpcrypt.org/tcpcrypt.pdf Bittau et al., The case for ubiquitous transport-level encryption] === 7. 20 ottobre === #lez07 * [https://www.dfranke.us/posts/2014-10-14-how-poodle-happened.html D. F. Franke, How POO­DLE Hap­pened] [https://www.imperialviolet.org/2014/10/14/poodle.html A. Langley, POODLE attacks on SSLv3 (14 Oct 2014)] ==== Laboratorio ==== #lab03 * [http://mininet.org/walkthrough/ Mininet Walkthrough] === 8. 21 ottobre === #lez08 * [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti07.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti07-handout.pdf Slide (versione per la stampa)] === 9. 27 ottobre === #lez09 * [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti08.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti08-handout.pdf Slide (versione per la stampa)] ==== Laboratorio ==== #lab04 * EsperimentiTopologieMininet === 10. 28 ottobre === #lez10 * [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti09.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti09-handout.pdf Slide (versione per la stampa)] === 11. 10 novembre === #lez11 * [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti10.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti10-handout.pdf Slide (versione per la stampa)] ==== Laboratorio ==== * [http://homes.di.unimi.it/~sisop/lucidi1415/lab06.pdf Appunti] === 12. 11 novembre === #lez12 * [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti11.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti11-handout.pdf Slide (versione per la stampa)] * [http://zhichunli.org/publication/Li-Hamsa-ssp06.pdf Li et al. Hamsa: Fast signature generation for zero-day polymorphic worms with provable attack resilience] === 13. 17 novembre === #lez13 * [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti12.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti12-handout.pdf Slide (versione per la stampa)] ==== Laboratorio ==== * EsercizioWireshark [http://homes.di.unimi.it/~sisop/lucidi1415/evidence.pcap Traffico] === 14. 18 novembre === #lez14 * [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti13.pdf Slide] [http://homes.di.unimi.it/~sisop/lucidi1415/sicureti13-handout.pdf Slide (versione per la stampa)] == Materiale anni precedenti == * [WikiStart@187 Materiale 2013/2014] * [WikiStart@150 Materiale 2012/2013] * [WikiStart@90 Materiale 2011/2012] * [wiki:Materiale20102011] (6CFU)