Page begin -
Logo DISCO
|
Go to the Highly accessible area
|
Go to the Content page
|
Go to the End of content
|
Go to the Main menu
|
Go to the Navigation Bar (location)
|
Go to the Navigation menu (tree)
|
Go to the Commands list
|
Go to the Further readings
|
Go to the Bottom Menu
|
Logo Ateneo
   
Education
Sicurezza dei sistemi informatici

Docente responsabile:  Claudio Ferretti

 

PROGRAMMA

 

Obiettivi e contenuti:

Il corso approfondisce due ambiti della sicurezza informatica: la sicurezza nei sistemi mobili, e le tecniche avanzate per garantire la sicurezza in sistemi complessi. I sistemi mobili includono la telefonia cellulari, le reti wireless e di sensori, le tecniche avanzate includono l'analisi automatica dei programmi e la modellazione logica di protocolli e sistemi.

 

Programma:

-         richiami di crittografia

-         crittografia e sicurezza nei sistemi “wi-fi”

-         esempi di attacchi ai sistemi “wi-fi”

-         la protezione delle comunicazioni cellulari

-         identità e protezione nelle reti di sensori

-         sicurezza dei programmi: errori nel codice sorgente

-         controlli automatici dei sorgenti: approcci e strumenti

-         sicurezza dei protocolli su rete: modellazione logica e strumenti di analisi

 

Risultati di apprendimento previsti:

Capacità di scelta delle tecnologie mobili piu' adatte ai livelli di sicurezza richiesti dal proprio ambito operativo, capacita' di valutazione dell'equilibrio tra costi e benefici nell'adottare tecniche di difesa avanzate.

 

Prerequisiti: Sistemi Operativi e Reti

 

 

Aims and contents

Two computing security related topics will be approached: security in mobile systems, and advanced techniques aiming at assessing the security of complex systems. Mobile systems include cell phones, wireless networks and sensor networks, the advanced techniques include automatic static analysis of programs and logical modelling of protocols and systems.

 

Program details

-         cryptography basics

-         cryptography and security in wi-fi systems

-         some attacks to the security of wi-fi systems

-         the protection of cellular communications

-         identity and protection in sensor networks

-         security of programs: mistakes in source code

-         automatic checks on source code: approaches and tools

-         the security of network protocols: logical models and tools to check them

 

Learning outcomes:

Skills: to choose the right mobile technology with respect to the security level required by the operating environment, to find the balance between costs and advantages when adopting an advanced security technology.

 

Prerequisites: Operating Systems and Networking

 

  

Tipo esame:

·          Scritto e orale

Tipo valutazione:

·         Voto finale

 

 

 

 

Further readings
(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - last update of this page 28/03/2011