PhD in Computer Science (last activated in 2013)

Course partially running (all years except the first)

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

Period
11-18 Settembre 2007

Academic staff
Luca Vigano'

Series to which this belongs

20° ciclo
21° ciclo
22° ciclo

Description

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.

Attachments

Documents