Corso 1) Data Integration

Maurizio Lenzerini, Giuseppe De Giacomo, Diego Calvanese

(riferimento lenzerini@dis.uniroma1.it )

Corso 2) Analisi di Cifratori e Protocolli per la sicurezza

(riferimento massacci@dis.uniroma1.it)

Programma e calendario

I corsi includono dei seminari dei partecipanti: ogni singolo partecipante, sulla base di materiale distribuito nella lezione di introduzione, studia un argomento, magari guarda se c'e' roba su internet e ne parla brevemente presentandolo agli altri (circa 20' ciascuno). Ovviamente il seminario sostituisce l'esame. Gli orari di Fabio Massacci sono ragionevolmente flessibili, quindi se gli studenti lo contattano, ci si puo' mettere d'accordo su un orario diverso. Le lezioni si svolgeranno nell'aula C2/C3 del Dipartimento Informatica e Sistemistica, Via Salaria, 113, II piano

(Il corso e' stato svolto nel 2000)

Gio. 12 Ottobre h. 16:30 (F. Massacci) (Aula C3)
  Introduzione ai cifratori ed ai protocolli per la sicurezza
E, SUBITO DOPO ...
                h. 17-18:30 (R. Menicocci) (Aula C3)
  Progettazione ed analisi di cifrari a flusso 
 
Ven. 13 ottobre h. 17-18:30 (R. Menicocci) (Aula C3)
  Progettazione ed analisi di cifrari a blocco 

Lun. 16 Ottobre h. 10-12 (**seminario dei partecipanti**) (Aula C2) 
  Cifrari a chiave pubblica e privata 

Mar. 17 Ottobre h. 10:30-12 (F. Massacci) (Aula C2)
  I protocolli per l'autenticazione ed il Key-Agreement 

Mer. 18 ottobre h. 14:30-16 (R. Gorrieri) (Aula C2)
  Modeling and analysing security protocols with process algebras: 
  the non-interference approach 

Gio. 19 Ottobre h. 10:30-12 (F. Massacci) (Aula C2)
  Protocolli per e-commerce (SSL/TLS e SET) 

Ven. 20ottobre h. 10:30-12 (F. Massacci) (Aula C2)
  Modelling and analysing e-commerce protocol with inductive
  theorem proving 

Lun. 23 Ottobre h. 10-12:30 (**seminario dei partecipanti**) (Aula C2) 
  Analisi di protocolli di e-commerce e per le comunicazioni mobili