Beskrivelse
Robusthet i hverdagsprogramvare mot sårbarheter. Sikkerhetsarkitektur og sikkerhetsutviklingslivssyklus. Statisk analyse og sårbarhetsanalyse. Modelldreper (model checkers). Sikkerhetstesting, ikke-funksjonstesting, fuzz-testing. Programmeringsspråk og sikkerhet. Kryptografiske API-er og bruk av sikkerhetsverktøysett.
Forkunnskaper
- Forkunnskapskrav: (COMP 3000 eller SYSC 4001), COMP 3004 og CSEC 3108.
Vilkår og bestemmelser
- Forkunnskapskrav: (COMP 3000 eller SYSC 4001), COMP 3004 og CSEC 3108.
- Forelesninger tre timer i uken.
Referansetekst i originalspråket
Resilience of everyday software to vulnerabilities. Security engineering and the security development lifecycle. Static analysis and vulnerability analysis. Model checkers. Security testing, non-functional testing, fuzz-testing. Programming languages and security. Cryptographic APIs and use of security toolkits.
- Prerequisite(s): ( COMP 3000 or SYSC 4001 ), COMP 3004 and CSEC 3108 .
- Lectures three hours a week.
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://calendar.carleton.ca/undergrad/courses/CSEC/