Codice: | 293AA | Crediti: | 6 | Semestre: | 2 | Sigla: | MFS | |
Settore disciplinare: | INF/01 - Informatica |
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
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 securityOre lezione: | 4 |