Dottorato in Informatica (ultimo ciclo attivato 28° - anno 2013)

Corso a esaurimento (attivi gli anni successivi al primo)

Corso "Introduction to Engineering and Formal Methods for Information Security" - Prof. David Basin

Periodo
11-18 Settembre 2007

Docenti
Luca Vigano'

Cicli in cui è offerta

20° ciclo
21° ciclo
22° ciclo

Descrizione

Il corso esaminera` diverse metodologie per lo sviluppo e la validazione di sistemi per la sicurezza informatica. Tra i principali argomenti trattati ci saranno le metodologie per lo sviluppo di infrastrutture per la sicurezza di sistemi distribuiti su larga scala, e metodologie per la verifica della sicurezza di sotto-sistemi e infrastrutture per la sicurezza, quali i protocolli per la sicurezza.

Allegati

Documenti