Szoftverbiztonság és információbiztonság
A kurzus a programelemzés alapvető, típusokon és logikai módszereken alapuló technikáit mutatja be, amelyek segítségével azonosíthatók a nem megengedett viselkedési formák, igazolható azok hiánya, valamint megismerhetők az ezeket a technikákat megvalósító eszközök.
A kurzust kínálja
Oktató
Cyrille Valentin Artho
Associate professor
Nyelv
English
Tanulási célok
- A rendszerek biztonsági és információbiztonsági szempontjainak ismertetése.
- Rendszermodellek készítése.
- Biztonsági és információbiztonsági tulajdonságok meghatározása és elemzése.
- Elemzőeszközök alkalmazása szoftverrendszereken.
- A szoftverrendszerek verifikációjára és validációjára szolgáló különböző megközelítések értékelése és összehasonlítása.
Előfeltételek
- Magabiztos programozási ismeretek és készségek, valamint a programozási nyelvek és a programok szemantikájának ismerete. Az elsőrendű logika és a véges automaták ismerete.
Tárgyalt témák
FundamentalsOffensive SecuritySecure Development
Modulok
Nem tudja, hol kezdje?
Fedezze fel, hogyan működik a Cycerone portál, hogyan épülnek fel a kurzusok és a tanulási útvonalak, és hogyan találhatja meg az igényeinek leginkább megfelelő képzési lehetőségeket.