描述
日常软件对漏洞的弹性。安全工程与安全开发生命周期。静态分析与漏洞分析。模型检查器。安全测试、非功能测试、模糊测试。编程语言与安全。加密 API 与安全工具包的使用。
先修课程
- 先修条件： ( COMP 3000 或 SYSC 4001 )、COMP 3004 和 CSEC 3108 。
条件与方式
- 先修条件： ( COMP 3000 或 SYSC 4001 )、COMP 3004 和 CSEC 3108 。
- 每周讲课三小时。
原文参考文本
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.
来源与参考
为帮助您核实信息，保留了日期和来源。为便于阅读提供了翻译；以官方来源为准，查看条件和要求。
来源参考 : https://calendar.carleton.ca/undergrad/courses/CSEC/