elenco    
        corso    

Metodi formali per la sicurezza (Security methods and verification)

Codice: 293AACrediti: 6Semestre: 2Sigla: MFS 
 
Settore disciplinare: INF/01 - Informatica

Docente

Chiara Bodei   chiara@di.unipi.it  Home Page di Chiara Bodei  Stanza 322  Tel. 0502212760

Ultima versione disponibile: programma da confermare per l’a.a. 2012/2013

Obiettivi di apprendimento

introduzione ad alcune nozioni e problemi relativi alla sicurezza delle applicazioni di rete e presentazione di alcuni formalismi e tecniche per affrontarli.

Descrizione

Obiettivo: introduzione ad alcune nozioni e problemi relativi alla sicurezza delle applicazioni di rete e presentazione di alcuni formalismi e tecniche per affrontarli.

 

- Introduzione alla sicurezza

- Modelli per la sicurezza

- Protocolli crittografici:

 - descrizione formale

 - proprietà di sicurezza

 - tecniche di analisi statiche e dinamiche

- Acenni alla Language-based security

English Description

Aim: introduction some notions and problems that concern the security of net applications and presentation of some formalisms and techniques to address them.

 

- Introduction to security

- Security models

- Cryptographic protocols:

 - formal description

 - security properties

 - static and dynamic analysis techniques

- An outline on Language-based security

Programma

Introduzione alla sicurezza - Modelli per la sicurezza - Protocolli crittografici: - descrizione formale - proprietà di sicurezza - tecniche di analisi statiche e dinamiche - Cenni alla Language-based security
Ore lezione: 4    

Modalità di esame

prova scritta e orale

Ulteriore pagina web del corso: http://www.cli.di.unipi.it/~bodei/MFS/MFS.html


home


email