Modelli Formali per la Sicurezza

Dottorato di Ricerca in Informatica e Matematica - XXIX ciclo

Docente

Alessandro Bianchi
Dipartimento di Informatica - V Piano
Tel. 080 544 2283
Email alessandro.bianchi@uniba.it
Pagina Web http://www.di.uniba.it/~bianchi/

Ricevimento studenti:

• mercoledì dalle 15.30 alle 17.30 - Dipartimento di Informatica - Bari;
• ora e luogo definiti per appuntamento.

Il Corso

Obiettivi: Il corso intende fornire le competenze culturali di base sulla applicazione dei formalismi nella trattazione della sicurezza per i sistemi distribuiti.
E' richiesto che gli studenti abbiano le conoscenze di base fornite nei corsi triennali di Informatica e di Informatica Magistrale, e abbiano sviluppato capacità di astrazione e formalizzazione. Condizione necessaria per seguire proficuamente il corso è il desiderio di applicare le conoscenze per indagare fenomeni che si presentano in pratica.

Bibliografia

• E. Börger, R. Stärk, Abstract State Machines, Springer 2003
• Articoli e lucidi riferiti / distribuiti durante le lezioni.

Sillabo del corso

Aggiornamenti e Avvisi

• 5 maggio 2014 Nella pagina del programma sono pubblicate le dispense relative agli esempi di applicazione di analisi formale della sicurezza.
• 28 aprile 2014 Nella pagina del programma sono pubblicate le dispense relative al metodo ASM, alle Distributed ASM e all'analisi delle proprietà.
• 17 aprile 2014 Nella pagina del programma sono pubblicate le dispense relative all'introduzione alle ASM e ai loro concetti basilari.
• 14 aprile 2014 Nella pagina del programma sono pubblicate le dispense relative a un esempio di modellazione di protocolli di sicurezza mediante CSP.
• 8 aprile 2014 Questa pagina è on line. Inoltre, nella pagina del programma sono pubblicate le dispense relative alla presentazione del corso.