Descripción
Resiliencia del software cotidiano frente a vulnerabilidades. Ingeniería de seguridad y el ciclo de vida de desarrollo de seguridad. Análisis estático y análisis de vulnerabilidades. Verificadores de modelos. Pruebas de seguridad, pruebas no funcionales, fuzz-testing. Lenguajes de programación y seguridad. API criptográficas y uso de kits de herramientas de seguridad.
Prerrequisitos
- Requisitos: ( COMP 3000 o SYSC 4001 ), COMP 3004 y CSEC 3108.
Condiciones y modalidades
- Requisitos: ( COMP 3000 o SYSC 4001 ), COMP 3004 y CSEC 3108.
- Clases magistrales tres horas a la semana.
Texto de referencia en su idioma de origen
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.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/undergrad/courses/CSEC/