Siguranța și securitatea software-ului
Cursul acoperă tehnici fundamentale de analiză a programelor, bazate pe tipuri și logică, pentru identificarea comportamentelor nepermise, verificarea absenței acestora și explorarea instrumentelor care implementează aceste tehnici.
Curs oferit de
Instructor
Cyrille Valentin Artho
Associate professor
Limbă
English
Obiective de învățare
- Explicarea aspectelor de siguranță și securitate ale sistemelor.
- Construirea modelelor de sisteme.
- Specificarea și analizarea proprietăților de siguranță și securitate.
- Aplicarea instrumentelor de analiză asupra sistemelor software.
- Evaluarea și compararea diferitelor abordări pentru verificarea și validarea sistemelor software.
Cerințe preliminare
- Cunoștințe și abilități solide de programare, limbaje de programare și semantică a programelor. Cunoștințe de logică de ordinul întâi și automate finite.
Subiecte abordate
FundamentalsOffensive SecuritySecure Development
Module
Nu știi de unde să începi?
Descoperă cum funcționează portalul Cycerone, cum sunt organizate cursurile și traseele de învățare și cum să găsești oportunitățile de formare care se potrivesc cel mai bine nevoilor tale.