Description
Résilience des logiciels quotidiens face aux vulnérabilités. Génie de la sécurité et cycle de vie du développement sécurisé. Analyse statique et analyse des vulnérabilités. Model checkers. Tests de sécurité, tests non fonctionnels, fuzz-testing. Langages de programmation et sécurité. APIs cryptographiques et utilisation de boîtes à outils de sécurité.
Préalables
- Condition(s) préalable(s) : ( COMP 3000 ou SYSC 4001 ), COMP 3004 et CSEC 3108 .
Conditions et modalités
- Condition(s) préalable(s) : ( COMP 3000 ou SYSC 4001 ), COMP 3004 et CSEC 3108 .
- Cours magistral de trois heures par semaine.
Texte de référence dans sa langue d’origine
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.
Sources et références
Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.
Référence source : https://calendar.carleton.ca/undergrad/courses/CSEC/