Programmatūras drošums un drošība
Kurss aptver programmu analīzes pamatmetodes, kas balstītas uz tipiem un loģiku un ļauj identificēt neatļautu uzvedību, pārbaudīt šādas uzvedības neesamību un izpētīt rīkus, kas īsteno šīs metodes.
Kursu piedāvā
Pasniedzējs
Cyrille Valentin Artho
Associate professor
Valoda
English
Mācību mērķi
- Izskaidrot sistēmu drošuma un drošības aspektus.
- Veidot sistēmu modeļus.
- Specificēt un analizēt drošuma un drošības īpašības.
- Pielietot analīzes rīkus programmatūras sistēmām.
- Novērtēt un salīdzināt dažādas pieejas programmatūras sistēmu verifikācijai un validācijai.
Priekšnosacījumi
- Labas zināšanas un prasmes programmēšanā, programmēšanas valodās un programmu semantikā. Zināšanas par pirmās kārtas loģiku un galīgiem automātiem.
Apskatītās tēmas
FundamentalsOffensive SecuritySecure Development
Moduļi
Nezināt, ar ko sākt?
Uzziniet, kā darbojas Cycerone portāls, kā ir organizēti kursi un mācību ceļi, un kā atrast apmācību iespējas, kas vislabāk atbilst Jūsu vajadzībām.