Programma del corso (da libro Introduction to Computer Security - Bishop)

• Introduzione alla sicurezza: slides di introduzione
• Introduzione al resto del corso: capitolo 1 del libro, slides di riferimento
• Policies: capitolo 4 del libro, slides di riferimento
• Bell-LaPadula: capitolo 5 del libro, slides di riferimento, cascade problem (articolo, slides), secure reconfiguration (articolo, slides)
• Biba e Clarck-Wilson: capitolo 6 del libro, slides di riferimento, alcune slides di riferimento addizionali, altre slides di riferimento addizionali, articolo su separation of duties, etc. (articolo, slides)
• Chinese Wall Model, ORCON, RBAC: capitolo 7 del libro, slides di riferimento
• Crittografia, firma digitale, pki e certificati, protocolli di autenticazione (Needham-Schroeder, Woo-Lam): capitolo 8,9,10 del libro, slides di riferimento, note su diffie-hellman
• Metodi di autenticazione, Kerberos: capitolo 9,11 del libro, slides di riferimento
• Firewalls e sicurezza di rete: capitolo 22,23 del libro, slides di riferimento, dispensa di riferimento
• Buffer overrun, documentazione di riferimento
• SQL Injection, documentazione di riferimento

Seminari A.A. 2012/13

• Riccardo Rossi: kuno98200@yahoo.it ---> Digital Cash slides e tesina
• Gabriele Valenti: gabriele.valenti87@gmail.com
• Antonio Ezio Frascarelli: antonioezio.frascarelli@studenti.unipg.it
• Anna Pagoni: anna.pagoni@alice.it
• Sara Tonazzini: tonazzini.sara@gmail.com
• Francesco Guerrieri: fraguerr87@gmail.com
• Paolo Lillocci: paolo@lillocci.it
• Davide Cipullo: davide.cipullo@goodmen.it
• Silvio Marini: swec89@gmail.com
• Matteo Temperoni: matteo.temperoni@yahoo.it
• Lucio Santinelli: opera_phantom@hotmail.it
• Pasquale D'Agrosa: dagrospa@gmail.com
• Marco Viscido: marco.viscido@studenti.unipg.it
• ANDREA FIORUCCI: andreafiorucci@gmail.com
• Gianluca Curto cutrox@hotmail.it
• Michele Paladino michele.paladino@studenti.unipg.it

Seminari A.A. 2011/12

argomento di quest'anno i pagamenti elettronici. Alcune idee qui: ecash payment protocols and systems e survey.

• Federica Maneggia e Francesca Baldinucci ---> Digital Cash slides e tesina
• Marta Luzi e Stefania Alcini ---> NFC and security slides e tesina
• Paolo Piersanti e Francesco Leccese ---> PayPal slides e tesina
• Antonio Cestari e Pietro Palazzo ---> Net Cash slides e tesina
• Paolo Battelli e David Stocchi --> @pos slides e tesina
• Daniele Belfiore e Mattia Scarponi---> Western Union slides e tesina
• Virginia Pretini e Camilla Palomba slides e tesina
• Cristiano Santoni ---> Bitcoin slides e tesina
• Valentina Giorgetti e Chiara Mogini ---> funzionamento carte di credito (sia prepagate che a saldo) slides e tesina
• Pamela Aibangbee e Chiara Zugarini slides e tesina
• Pietro Montanari e Cosimo Basile ---> protocollo iKP slides e tesina
• Paolo Mengoni, Marco Mencacci e Caterina Lombardi ---> protocollo millicent  slides e tesina
• Fabrizio Cardellini e Andrea Valentini Albanelli ---> protocollo SET ( Secure Electronic Transaction ) slides e tesina
• Aldebrandi Noemi, Benedetta Romito, Diletta Bertini ---> Mondex e e Chipknip slides1, slides2 e tesina1, tesina2
• Giulio Galanello e Jessica Cerquetelli ---> Codici delle carte di credito e Formula di Lhun slides e tesina
• Domenico Marzolla, Marco Cantarini e Daniele Maccauro ---> protocollo SSL, certification authority e integrazione con applicativo java slides e tesina
• Carlo Manasse e Giulio Baldantoni --->protocollo E-cash slides1, slides2 e tesina
• Marika Sistoni e Jenny Broccoletti ---> UEPS slides e tesina
• Jacopo Moscioni e Alessandro Fiorucci ---> pepper coin slides e tesina
• Giuseppe Scola e Matteo Rinaldi ---> CAFE' slides e tesina
• Elena Gagliardoni, Laura Pannacci e Damiano Montonese --> pay per view e net cheque slides e tesina
• Piccoli Simona e Michela Tronati--->protocollo IKP slides e tesina
• Alessandrini --->botnet slides

Seminari A.A. 2010/11

• Davide D'Arenzo e Riccardo Minciarelli: crittografia quantistica
• Marco Bizzarri e Andrea Lauri: autenticazione RFID
• Valentina Hamam e Rosa Leccisotti: attribute certificates
• Luca Caprini e Fabiana Zollo: Safer Internet
• Riccardo Bastianini e Laura Ferroni: Steganografia
• Agnese Belardinelli e Cristiana Ciancabilla: sicurezza della tv satellitare
• Gessica Vagnoli: Biometria Facciale
• Chiara Simonelli e Michele Piconi: Image Forensics
• Filippo Paolucci e Andrea Biocco: Virtual Private Network
• Azzurra Virgulti e Raffaela Sarlo: il protocollo SMTP e lo sniffer di posta elettronica SPYD
• Marco Calderini: timing attack ad RSA
• Stefano Macellari: Spoofing ...
• Arianna Rossetti e Valeria Ricci: classificazione danni minacce e relative contromisureslides
• Riccardo Queri e Luca Mancini: protocollo di autenticazione OAuth
• Alfredo Parisi e Saverio Di Zeo: VoIP Attack
• Daniele Urbanelli: Setup di un Sito Web su Https
• Diego Russo, Flavio Vella: Bayesian Filters. Il reader può essere scaricato da qui: http://prezi.com/desktop/. Link alla presentazione on-line: http://prezi.com/skb4ipwlxd12/bayesian-filters/
• Paola Ginnasi e Andrea Burattini: Social Network Forensics
• Andrea Nardinocchi e Luca Mariani: MacOS X Forensics
• Patryk Duszak e Nicola Valigi: Android Forensics
• Claudia Baldoni, Marta Ravarelli e Caterina Massi: Live forensic e Post-mortem
• Gessica Corapi e Federica Fusco biometria applicata alla sicurezza
• Andrea Di Saverio: port knocking
• Leonardo Angeli e Martina Rena: talk sniffer
• Fabio Pulcini: Social Engineering
• Riccardo M. Cefalà, Claudio Tanci: Security in Mobile OS
• Adriana Cola, Ramona Maraia: Moneta elettronica
• Filippo Martinoli: adware e spywareslides e relazione
• Gianluca Curto: tripwire slides e relazione
• Cristiano Santoni: Sicurezza su wireless ethernet slides e relazione

Seminari A.A. 2009/10

• Luigi Mancini: Sicurezza su dispositivi RFiD slides e relazione
• Federico Reali: SSL slides e relazione
• Francesco # : Computer Forensics slides e relazione e riferimenti
• Luca Mancinelli: Stenografia slides e relazione
• Luca Mortaro: Attacchi ATM slides e relazione
• Davide Diosono: Security su SAP documentazione di riferimento
• Cecilia #: Spam documentazione di riferimento
• Fabio Mignogna: Network Forensics documentazione
• Benedetto Voltattorni: Virus e Worms docs
• Daniele Diodati: TCSEC e linux docs
• Giulia Carboni: Ssh docs
• Alessandro Manini: Autenticazione biometrica basata sul training di sistemi di riconoscimento adattivi docs
• Valerio Egidi: Crittografia Visuale docs
• Gianni Donati: PEC docs
• Michele Direnzo: IPSEC docs

Seminari A.A. 2008/09 (da libro Computer Security - Gollmann)

• Igor Neri: Rootkit e rootkit detector slides, relazione, altro materiale
• Mattia Cinquilli: Sicurezza grid slides e relazione
• Edoardo Comodi: Identity Management (RADIUS) slides e relazione
• Filippo Falleri: Capitolo 5 - Reference Monitor slides e relazione
• Paolo Fiocchetti: Capitolo 6 - Unix security slides e relazione, altro materiale
• Emanuele Palazzetti : Capitolo 7 - Windows security slides
• Antonio Nigro: Capitolo 9 - Security Models slides e relazione
• Manuela Ottobretti: Capitolo 10 - Security Evaluationslides e relazione
• Davide Tortoioli: Capitolo 13 - Network Security slides e relazione
• MANCA RELAZIONE - Valentina MAncinelli: Capitolo 14, Software Security slides e relazione
• Valentina Franzoni: Capitolo 15 - paradigmi accesso slides e relazione
• Ambus Giuliano: Capitolo 16 - Mobility slides e relazione
• MANCA RELAZIONE- Matteo Picciolini: Capitolo 17 - Database Security slides e relazione
• Eno Pleji: open-id

Seminari A.A. 2007/08

• seminari: la sicurezza nelle reti wireless: materiale di riferimento
• seminari: Attacchi DOS: materiale di riferimento
• seminari: Attacchi Iframe: materiale di riferimento
• seminari: tecniche di spoofing: materiale di riferimento
• seminari: Funzionamento e tipologia degli IDS: materiale di riferimento
• seminari: il port scanning: materiale di riferimento
• seminari: tecniche per la cifratura dei dischi: materiale di riferimento
• seminari: Alcuni protocolli per non-ripudio: materiale di riferimento
• seminari: lo standard P3P: materiale di riferimento
• seminari: Privacy e self-enforcing protocols: materiale di riferimento
• seminari: anonimato e onion-routing: materiale di riferimento
• seminari: TPM 1.2: il protocollo DAA: materiale di riferimento
• seminari: La valuta elettronica: materiale di riferimento
• seminari: Il framework SAML nelle architetture SOA: materiale di riferimento
• seminari: anonimia e anonimizers: materiale di riferimento
• seminari: privacy: il protocollo U-prove materiale di riferimento
• seminari: introduzione alle VPN materiale di riferimento
• seminari: Sicurezza della posta elettronica materiale di riferimento
• seminari: La Sicurezza Nella Virtualizzazione materiale di riferimento