Contenuto non ancora tradotto in Italiano
Software Safety and Security
The course covers fundamental program analysis techniques based on types and logics to identify illicit behavior, verify its absence, and explore tools that implement these techniques.
Corso offerto da
Docente
Cyrille Valentin Artho
Associate professor
Lingua
English
Obiettivi di apprendimento
- - "explain safety and security aspects for systems",
- - "construct models of systems",
- - "specify and analyse safety and security properties",
- - "apply analytical tools on software systems",
- - "evaluate and compare different approaches to verification and validation of software systems",
Prerequisiti
- Good knowledge and skills in programming, programming languages, and program semantics. Knowledge of first-order logic and finite automata.
Argomenti trattati
FundamentalsOffensive SecuritySecure Development
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.