Descrição
Resiliência do software cotidiano a vulnerabilidades. Engenharia de segurança e o ciclo de vida de desenvolvimento seguro. Análise estática e análise de vulnerabilidades. Verificadores de modelos. Testes de segurança, testes não-funcionais, fuzz-testing. Linguagens de programação e segurança. APIs criptográficas e uso de toolkits de segurança.
Pré-requisitos
- Pré-requisitos: (COMP 3000 ou SYSC 4001), COMP 3004 e CSEC 3108.
Condições e modalidades
- Pré-requisitos: (COMP 3000 ou SYSC 4001), COMP 3004 e CSEC 3108.
- Aulas três horas por semana.
Texto de referência na sua língua de origem
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.
Fontes e referências
As datas e as fontes são mantidas para ajudá-lo a verificar os dados. As traduções são propostas para facilitar a leitura; a fonte oficial é a referência para condições e exigências.
Fonte de referência : https://calendar.carleton.ca/undergrad/courses/CSEC/