Sicurezza e protezione del software
Il corso tratta le principali tecniche di analisi dei programmi basate su tipi e logiche, che consentono di identificare comportamenti illeciti, verificarne l'assenza ed esplorare gli strumenti che implementano tali tecniche.
Corso offerto da
Docente
Cyrille Valentin Artho
Associate professor
Lingua
English
Obiettivi di apprendimento
- Spiegare gli aspetti di safety e security dei sistemi.
- Costruire modelli di sistemi.
- Specificare e analizzare le proprietà di safety e security.
- Applicare strumenti di analisi ai sistemi software.
- Valutare e confrontare diversi approcci alla verifica e alla validazione dei sistemi software.
Prerequisiti
- Buone conoscenze e competenze in programmazione, linguaggi di programmazione e semantica dei programmi. Conoscenza della logica del primo ordine e degli automi finiti.
Argomenti trattati
FundamentalsOffensive SecuritySecure Development
Moduli
Non sai da dove iniziare?
Scopri come funziona il portale Cycerone, come sono organizzati i corsi e i percorsi di apprendimento, e come trovare le opportunità di formazione più adatte alle tue esigenze.