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

Corso a esaurimento (attivi gli anni successivi al primo)

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

Periodo
11-18 Settembre 2007

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