Programvarusäkerhet
Kursen behandlar grundläggande tekniker för programanalys baserade på typer och logik för att identifiera otillåtna beteenden, verifiera att sådana beteenden inte förekommer samt utforska verktyg som implementerar dessa tekniker.
Kursen erbjuds av
Lärare
Cyrille Valentin Artho
Associate professor
Språk
English
Lärandemål
- förklara säkerhetsaspekter för system,
- konstruera modeller av system,
- specificera och analysera säkerhetsegenskaper,
- tillämpa analysverktyg på programvarusystem,
- utvärdera och jämföra olika tillvägagångssätt för verifiering och validering av programvarusystem,
Förkunskaper
- Goda kunskaper och färdigheter inom programmering, programspråk och programsemantik. Kunskap om första ordningens logik och ändliga automater.
Ämnen som behandlas
FundamentalsOffensive SecuritySecure Development
Moduler
Vet du inte var du ska börja?
Upptäck hur Cycerone-portalen fungerar, hur kurser och lärvägar är organiserade och hur du hittar de utbildningsmöjligheter som bäst passar dina behov.